Skip to content

Actions: Blackfeather007/Filtered_Ring

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rebase filtered🐱 Compile blueprint #75: Commit 9e810c6 pushed by Yu-Misaka
October 27, 2024 07:37 41m 19s main
main
October 27, 2024 07:37 41m 19s
filter based on index Compile blueprint #74: Commit 4cef9fc pushed by AlbertJ-314
October 27, 2024 06:47 39m 21s main
main
October 27, 2024 06:47 39m 21s
graded🐱 Compile blueprint #73: Commit a714729 pushed by AlbertJ-314
October 27, 2024 04:04 39m 9s main
main
October 27, 2024 04:04 39m 9s
fix🐱 Compile blueprint #72: Commit 84ca75c pushed by Yu-Misaka
October 27, 2024 03:49 38m 11s main
main
October 27, 2024 03:49 38m 11s
Update graded.lean Compile blueprint #71: Commit f258f7f pushed by yuanyi-350
October 27, 2024 03:21 39m 0s main
main
October 27, 2024 03:21 39m 0s
index🐱 Compile blueprint #70: Commit b9c7a56 pushed by Yu-Misaka
October 27, 2024 02:52 37m 48s main
main
October 27, 2024 02:52 37m 48s
index! Compile blueprint #69: Commit 059f31f pushed by AlbertJ-314
October 27, 2024 02:22 38m 48s main
main
October 27, 2024 02:22 38m 48s
3 cats🦉 Compile blueprint #68: Commit a0fe0d8 pushed by AlbertJ-314
October 27, 2024 01:37 39m 47s main
main
October 27, 2024 01:37 39m 47s
Kill Long Lines😈 Compile blueprint #67: Commit ececccd pushed by AlbertJ-314
October 27, 2024 01:25 39m 27s main
main
October 27, 2024 01:25 39m 27s
cat🐱 Compile blueprint #66: Commit 89eaaf0 pushed by Yu-Misaka
October 26, 2024 07:10 38m 26s main
main
October 26, 2024 07:10 38m 26s
Update graded.lean Compile blueprint #65: Commit 4341261 pushed by yuanyi-350
October 26, 2024 01:59 39m 45s main
main
October 26, 2024 01:59 39m 45s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #64: Commit 6c281eb pushed by yuanyi-350
October 26, 2024 01:54 38m 58s main
main
October 26, 2024 01:54 38m 58s
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
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 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 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
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
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
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 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