Skip to content

Actions: anisse/advent2023

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
30 workflow runs
30 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

README: add link to writeup
Rust #30: Commit 7b67e71 pushed by anisse
January 21, 2024 10:01 50s main
January 21, 2024 10:01 50s
README: add link to writeup
Rust #29: Commit 80a16d1 pushed by anisse
January 21, 2024 10:00 1m 0s main
January 21, 2024 10:00 1m 0s
add generated graphs for day 23 and 25
Rust #28: Commit 8a94f00 pushed by anisse
December 25, 2023 17:31 1m 1s main
December 25, 2023 17:31 1m 1s
day 24: use git z3
Rust #27: Commit 4dbee0b pushed by anisse
December 25, 2023 16:54 1m 11s main
December 25, 2023 16:54 1m 11s
day 24: fix z3 dep and update lock
Rust #26: Commit d84db79 pushed by anisse
December 25, 2023 09:36 10m 21s main
December 25, 2023 09:36 10m 21s
December 25, 2023 09:32 15s
day 24: add z3-based solution
Rust #24: Commit c957ce8 pushed by anisse
December 25, 2023 09:26 50s main
December 25, 2023 09:26 50s
day 23: stack requirements in debug mode were reduced
Rust #23: Commit a70c175 pushed by anisse
December 23, 2023 07:27 22s main
December 23, 2023 07:27 22s
day 23: settle on bruteforce and optimize it a bit
Rust #22: Commit d382f92 pushed by anisse
December 23, 2023 07:25 43s main
December 23, 2023 07:25 43s
day 22: simplify
Rust #21: Commit 84fa7e9 pushed by anisse
December 22, 2023 08:57 22s main
December 22, 2023 08:57 22s
day 22: cleanup
Rust #20: Commit 6f290a6 pushed by anisse
December 22, 2023 08:53 25s main
December 22, 2023 08:53 25s
day 22: cleanup a bit
Rust #19: Commit 8e11091 pushed by anisse
December 22, 2023 08:51 24s main
December 22, 2023 08:51 24s
day 21: done
Rust #18: Commit a0d140c pushed by anisse
December 21, 2023 21:24 26s main
December 21, 2023 21:24 26s
day 20: there is no test for part 2
Rust #17: Commit 63a6535 pushed by anisse
December 20, 2023 12:28 54s main
December 20, 2023 12:28 54s
day 19: add forgotten sample
Rust #16: Commit a22ea05 pushed by anisse
December 19, 2023 07:33 23s main
December 19, 2023 07:33 23s
day 19: simplify even more
Rust #15: Commit 6dd32e1 pushed by anisse
December 19, 2023 07:04 16s main
December 19, 2023 07:04 16s
day 19: more cleanup
Rust #14: Commit 324f986 pushed by anisse
December 19, 2023 07:00 16s main
December 19, 2023 07:00 16s
day 19: cleanup
Rust #13: Commit 6e553c3 pushed by anisse
December 19, 2023 06:59 15s main
December 19, 2023 06:59 15s
day 18: cleanup
Rust #12: Commit 04caf53 pushed by anisse
December 18, 2023 08:44 33s main
December 18, 2023 08:44 33s
day 17: a bit more cleanup
Rust #11: Commit ede66bb pushed by anisse
December 17, 2023 20:49 26s main
December 17, 2023 20:49 26s
day 17: change return type
Rust #10: Commit 60a72a9 pushed by anisse
December 17, 2023 14:52 22s main
December 17, 2023 14:52 22s
day 17: cleanup a bit
Rust #9: Commit 088f00d pushed by anisse
December 17, 2023 08:09 28s main
December 17, 2023 08:09 28s
day 17: cleanup a bit
Rust #8: Commit ab2e9d6 pushed by anisse
December 17, 2023 08:08 46s main
December 17, 2023 08:08 46s
day 14 transpose: remove unused test
Rust #7: Commit 37a4582 pushed by anisse
December 16, 2023 14:23 19s main
December 16, 2023 14:23 19s
day 16: rename variables to clarify a bit
Rust #6: Commit fe14526 pushed by anisse
December 16, 2023 13:42 30s main
December 16, 2023 13:42 30s