Skip to content

Actions: mdr/aoc-2024

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tidying Lean Action CI #41: Commit 6da8b3a pushed by mdr
December 4, 2024 19:07 40s main
main
December 4, 2024 19:07 40s
tidying Lean Action CI #40: Commit 4d9df68 pushed by mdr
December 4, 2024 19:04 42s main
main
December 4, 2024 19:04 42s
credit diagonals Lean Action CI #39: Commit 9032c29 pushed by mdr
December 4, 2024 18:14 26s main
main
December 4, 2024 18:14 26s
update template Lean Action CI #38: Commit c4953da pushed by mdr
December 4, 2024 18:11 27s main
main
December 4, 2024 18:11 27s
tidying Lean Action CI #37: Commit 68a5da4 pushed by mdr
December 4, 2024 15:26 37s main
main
December 4, 2024 15:26 37s
fewer transforms Lean Action CI #36: Commit 21c5e02 pushed by mdr
December 4, 2024 14:29 28s main
main
December 4, 2024 14:29 28s
tidy Lean Action CI #35: Commit 4d51a40 pushed by mdr
December 4, 2024 08:29 38s main
main
December 4, 2024 08:29 38s
day 4 part 1 Lean Action CI #34: Commit 64859ef pushed by mdr
December 4, 2024 08:19 1m 37s main
main
December 4, 2024 08:19 1m 37s
wip Lean Action CI #33: Commit 5e555d9 pushed by mdr
December 3, 2024 18:50 41s main
main
December 3, 2024 18:50 41s
wip Lean Action CI #32: Commit 412a9ac pushed by mdr
December 3, 2024 18:38 34s main
main
December 3, 2024 18:38 34s
State monad Lean Action CI #31: Commit 9973b1b pushed by mdr
December 3, 2024 18:37 32s main
main
December 3, 2024 18:37 32s
fix Lean Action CI #30: Commit 80787b6 pushed by mdr
December 3, 2024 18:08 30s main
main
December 3, 2024 18:08 30s
wip Lean Action CI #29: Commit cb0d65f pushed by mdr
December 3, 2024 14:16 1m 0s main
main
December 3, 2024 14:16 1m 0s
tidy day3 Lean Action CI #28: Commit e1306c3 pushed by mdr
December 3, 2024 13:43 36s main
main
December 3, 2024 13:43 36s
day 3 part 2 with no tidying yet! Lean Action CI #27: Commit d409a20 pushed by mdr
December 3, 2024 09:09 31s main
main
December 3, 2024 09:09 31s
day3 part 1 Lean Action CI #26: Commit dec694c pushed by mdr
December 3, 2024 08:35 2m 13s main
main
December 3, 2024 08:35 2m 13s
template Lean Action CI #25: Commit 0fb84af pushed by mdr
December 2, 2024 21:13 31s main
main
December 2, 2024 21:13 31s
back to || Lean Action CI #24: Commit 08f4dcb pushed by mdr
December 2, 2024 19:52 29s main
main
December 2, 2024 19:52 29s
fix offending arrow Lean Action CI #23: Commit 2c31a30 pushed by mdr
December 2, 2024 09:39 27s main
main
December 2, 2024 09:39 27s
eraseIdx Lean Action CI #22: Commit b9f09d5 pushed by mdr
December 2, 2024 08:45 22s main
main
December 2, 2024 08:45 22s
wip Lean Action CI #21: Commit 49ceed2 pushed by mdr
December 2, 2024 08:29 28s main
main
December 2, 2024 08:29 28s
wip Lean Action CI #20: Commit fdd21b6 pushed by mdr
December 2, 2024 08:28 24s main
main
December 2, 2024 08:28 24s
wip Lean Action CI #19: Commit 3710fa7 pushed by mdr
December 2, 2024 08:27 31s main
main
December 2, 2024 08:27 31s
test parser on examples Lean Action CI #18: Commit db1ca9d pushed by mdr
December 2, 2024 08:23 25s main
main
December 2, 2024 08:23 25s
utils Lean Action CI #17: Commit c8dd6d5 pushed by mdr
December 2, 2024 08:19 29s main
main
December 2, 2024 08:19 29s