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

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
Rebase filtered🐱 Lean Action CI #90: Commit 9e810c6 pushed by Yu-Misaka
October 27, 2024 07:37 1m 25s main
main
October 27, 2024 07:37 1m 25s
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
filter based on index Lean Action CI #89: Commit 4cef9fc pushed by AlbertJ-314
October 27, 2024 06:47 1m 28s main
main
October 27, 2024 06:47 1m 28s
graded🐱 Lean Action CI #88: Commit a714729 pushed by AlbertJ-314
October 27, 2024 04:04 1m 26s main
main
October 27, 2024 04:04 1m 26s
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🐱 Lean Action CI #87: Commit 84ca75c pushed by Yu-Misaka
October 27, 2024 03:49 1m 28s main
main
October 27, 2024 03:49 1m 28s
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 Lean Action CI #86: Commit f258f7f pushed by yuanyi-350
October 27, 2024 03:21 1m 29s main
main
October 27, 2024 03:21 1m 29s
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🐱 Lean Action CI #85: Commit b9c7a56 pushed by Yu-Misaka
October 27, 2024 02:52 1m 25s main
main
October 27, 2024 02:52 1m 25s
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! Lean Action CI #84: Commit 059f31f pushed by AlbertJ-314
October 27, 2024 02:22 1m 50s main
main
October 27, 2024 02:22 1m 50s
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🦉 Lean Action CI #83: Commit a0fe0d8 pushed by AlbertJ-314
October 27, 2024 01:37 1m 53s main
main
October 27, 2024 01:37 1m 53s
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😈 Lean Action CI #82: Commit ececccd pushed by AlbertJ-314
October 27, 2024 01:25 1m 27s main
main
October 27, 2024 01:25 1m 27s
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
cat🐱 Lean Action CI #81: Commit 89eaaf0 pushed by Yu-Misaka
October 26, 2024 07:10 1m 54s main
main
October 26, 2024 07:10 1m 54s
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
Update graded.lean Lean Action CI #80: Commit 4341261 pushed by yuanyi-350
October 26, 2024 01:59 1m 21s main
main
October 26, 2024 01:59 1m 21s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #79: Commit 6c281eb pushed by yuanyi-350
October 26, 2024 01:54 1m 27s main
main
October 26, 2024 01:54 1m 27s
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 Lean Action CI #78: Commit 8b53676 pushed by AlbertJ-314
October 26, 2024 01:40 1m 33s main
main
October 26, 2024 01:40 1m 33s