Skip to content

Actions: eutro/aoc2025

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Prove Day 1 wrt slower impl Lean Action CI #11: Commit cfa4bb8 pushed by eutro
8m 53s main
main
8m 53s
Day 12 Lean Action CI #10: Commit b862ccf pushed by eutro
1m 51s main
main
1m 51s
Poke Lean Action CI #9: Commit 409a4d1 pushed by eutro
2m 16s main
main
2m 16s
Day 9 cleanup Lean Action CI #8: Commit 3c6cb8c pushed by eutro
1m 53s main
main
1m 53s
Day 8 Lean Action CI #7: Commit 923e46f pushed by eutro
1m 50s main
main
1m 50s
Day 5 & 6 Lean Action CI #6: Commit 106988b pushed by eutro
2m 5s main
main
2m 5s
Day 5 & 6 Create Release #2: Commit 106988b pushed by eutro
9s main
main
9s
Improve algorithm Lean Action CI #5: Commit 0580961 pushed by eutro
10m 54s main
main
10m 54s
Remove GitHub setup info Lean Action CI #4: Commit eb80620 pushed by eutro
9m 27s main
main
9m 27s
pages build and deployment pages-build-deployment #1: by eutro
54s main
main
54s
Day 3 Proofs Lean Action CI #3: Commit 25e149d pushed by eutro
14m 30s main
main
14m 30s
Tooling and more day 1 cleanup Lean Action CI #2: Commit cc4dd39 pushed by eutro
13m 50s main
main
13m 50s
Day 1 Create Release #1: Commit e08fd2f pushed by eutro
13s main
main
13s
Day 1 Lean Action CI #1: Commit e08fd2f pushed by eutro
14m 4s main
main
14m 4s