Skip to content

Actions: maelstrom-software/maelstrom

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,137 workflow runs
1,137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nix flake CI #12: Commit 406e3a5 pushed by bobbobbio
January 18, 2024 23:31 15m 46s main
main
January 18, 2024 23:31 15m 46s
Broker handles getting manifest dependencies from client CI #11: Commit 6a511ea pushed by bobbobbio
January 18, 2024 23:16 32s main
main
January 18, 2024 23:16 32s
Synthesize a tar when sending manifest from broker to worker CI #10: Commit aeca66b pushed by bobbobbio
January 18, 2024 03:22 16m 0s main
main
January 18, 2024 03:22 16m 0s
Give up on clippy in CI for now. CI #9: Commit 8717ac4 pushed by nfachan
January 17, 2024 23:08 14m 58s main
main
January 17, 2024 23:08 14m 58s
Spell "--ignore-environment" correctly. CI #8: Commit a26de6f pushed by nfachan
January 17, 2024 23:01 2m 50s main
main
January 17, 2024 23:01 2m 50s
Fix yaml error CI #7: Commit b6f61bc pushed by nfachan
January 17, 2024 22:43 1m 19s main
main
January 17, 2024 22:43 1m 19s
Try to fix CI with nix develop --ignore-environment CI #6: Commit 5529118 pushed by nfachan
January 17, 2024 22:42 Failure main
main
January 17, 2024 22:42 Failure
Disable cargo cache to attempt to fix CI CI #5: Commit b4a73d8 pushed by nfachan
January 17, 2024 22:22 2m 10s main
main
January 17, 2024 22:22 2m 10s
Add clippy linting to CI. CI #4: Commit d959bf3 pushed by nfachan
January 17, 2024 22:15 2m 18s main
main
January 17, 2024 22:15 2m 18s
Run clippy --all-targets and fix lints. CI #3: Commit d98721d pushed by nfachan
January 17, 2024 22:13 10m 39s main
main
January 17, 2024 22:13 10m 39s
Add a badge for CI to the README. CI #2: Commit efd3a26 pushed by nfachan
January 17, 2024 20:52 10m 26s main
main
January 17, 2024 20:52 10m 26s
Rename github CI workflow. CI #1: Commit 4bf1e20 pushed by nfachan
January 17, 2024 20:45 10m 10s main
main
January 17, 2024 20:45 10m 10s
ProTip! You can narrow down the results and go further in time using created:<2024-01-17 or the other filters available.