Skip to content

Actions: mdr/aoc-2024

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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