Skip to content

Actions: Blackfeather007/Filtered_Ring

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create graded_category.lean Compile blueprint #63: Commit 8b53676 pushed by AlbertJ-314
October 26, 2024 01:40 38m 30s main
main
October 26, 2024 01:40 38m 30s
Update graded.lean Compile blueprint #62: Commit 6153ef2 pushed by yuanyi-350
October 26, 2024 01:25 38m 35s main
main
October 26, 2024 01:25 38m 35s
Update graded.lean Lean Action CI #77: Commit 6153ef2 pushed by yuanyi-350
October 26, 2024 01:25 1m 30s main
main
October 26, 2024 01:25 1m 30s
record Lean Action CI #76: Commit ec4986f pushed by Blackfeather007
October 24, 2024 16:36 2m 29s main
main
October 24, 2024 16:36 2m 29s
record Compile blueprint #61: Commit ec4986f pushed by Blackfeather007
October 24, 2024 16:36 39m 1s main
main
October 24, 2024 16:36 39m 1s
fix' Compile blueprint #60: Commit 373c37c pushed by Yu-Misaka
October 8, 2024 12:51 40m 37s main
main
October 8, 2024 12:51 40m 37s
fix' Lean Action CI #75: Commit 373c37c pushed by Yu-Misaka
October 8, 2024 12:51 1m 58s main
main
October 8, 2024 12:51 1m 58s
fix category Lean Action CI #74: Commit e7f4462 pushed by Yu-Misaka
October 8, 2024 12:47 1m 48s main
main
October 8, 2024 12:47 1m 48s
fix category Compile blueprint #59: Commit e7f4462 pushed by Yu-Misaka
October 8, 2024 12:47 40m 21s main
main
October 8, 2024 12:47 40m 21s
Update graded.lean Compile blueprint #58: Commit 89cfc23 pushed by yuanyi-350
October 7, 2024 15:58 37m 59s main
main
October 7, 2024 15:58 37m 59s
Update graded.lean Lean Action CI #73: Commit 89cfc23 pushed by yuanyi-350
October 7, 2024 15:58 1m 32s main
main
October 7, 2024 15:58 1m 32s
Update graded.lean Lean Action CI #72: Commit e3a71a5 pushed by yuanyi-350
October 7, 2024 15:53 1m 55s main
main
October 7, 2024 15:53 1m 55s
Update graded.lean Compile blueprint #57: Commit e3a71a5 pushed by yuanyi-350
October 7, 2024 15:53 41m 49s main
main
October 7, 2024 15:53 41m 49s
Update graded.lean Compile blueprint #56: Commit fe9b546 pushed by yuanyi-350
October 7, 2024 15:23 38m 10s main
main
October 7, 2024 15:23 38m 10s
Update graded.lean Lean Action CI #71: Commit fe9b546 pushed by yuanyi-350
October 7, 2024 15:23 1m 57s main
main
October 7, 2024 15:23 1m 57s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #55: Commit 52bd665 pushed by Blackfeather007
October 7, 2024 15:19 38m 2s main
main
October 7, 2024 15:19 38m 2s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #70: Commit 52bd665 pushed by Blackfeather007
October 7, 2024 15:19 2m 0s main
main
October 7, 2024 15:19 2m 0s
Update graded.lean Lean Action CI #69: Commit 86a3e85 pushed by yuanyi-350
October 7, 2024 15:01 2m 1s main
main
October 7, 2024 15:01 2m 1s
Update graded.lean Compile blueprint #54: Commit 86a3e85 pushed by yuanyi-350
October 7, 2024 15:01 40m 33s main
main
October 7, 2024 15:01 40m 33s
Update graded.lean Compile blueprint #53: Commit 54d3728 pushed by yuanyi-350
October 7, 2024 14:41 39m 50s main
main
October 7, 2024 14:41 39m 50s
Update graded.lean Lean Action CI #68: Commit 54d3728 pushed by yuanyi-350
October 7, 2024 14:41 1m 35s main
main
October 7, 2024 14:41 1m 35s
small fix on category Lean Action CI #67: Commit c38bbb0 pushed by AlbertJ-314
October 7, 2024 09:09 1m 51s main
main
October 7, 2024 09:09 1m 51s
small fix on category Compile blueprint #52: Commit c38bbb0 pushed by AlbertJ-314
October 7, 2024 09:09 37m 55s main
main
October 7, 2024 09:09 37m 55s
fix Basic Lean Action CI #66: Commit 497f86c pushed by AlbertJ-314
October 7, 2024 08:56 1m 38s main
main
October 7, 2024 08:56 1m 38s
fix Basic Compile blueprint #51: Commit 497f86c pushed by AlbertJ-314
October 7, 2024 08:56 37m 16s main
main
October 7, 2024 08:56 37m 16s