All workflows

Showing runs from all workflows

2500+ workflow runs

Deterministic storage schedules
completed successfully:
Deterministic storage schedules#37:Scheduled
main
Nov 14, 20262m 30s
Kani proofs (v3)
completed successfully:
Kani proofs#82:Scheduled
main
Nov 14, 20262m 53s
Grammar verifier (v3)
completed successfully:
Grammar verifier (nightly)#51:Scheduled
main
Nov 14, 202618m 38s
Smoke Suite (v3)
completed successfully:
Smoke Suite (nightly)#200:Scheduled
main
Nov 14, 20263m 33s
Fuzz (v3)
completed successfully:
Fuzz (nightly)#224:Scheduled
main
Nov 14, 202656m 51s
SIGKILL crash-safety fuzz (v3)
completed successfully:
SIGKILL crash-safety fuzz (nightly)#123:Scheduled
main
Nov 14, 20263m 15s
Nightly Benchmarks (v3)
completed successfully:
Nightly Benchmarks#315:Scheduled
main
Nov 14, 202646m 55s
Kani proofs (main)
completed successfully:
Kani proofs#81:Scheduled
main
Nov 14, 202649s
Grammar verifier (main)
completed successfully:
Grammar verifier (nightly)#50:Scheduled
main
Nov 14, 20265m 36s
Smoke Suite (main)
completed successfully:
Smoke Suite (nightly)#199:Scheduled
main
Nov 14, 202658s
Fuzz (main)
completed successfully:
Fuzz (nightly)#223:Scheduled
main
Nov 14, 202656m 39s
SIGKILL crash-safety fuzz (main)
completed successfully:
SIGKILL crash-safety fuzz (nightly)#122:Scheduled
main
Nov 14, 20262m 3s
NFS/Docker lock tests (nightly)
completed successfully:
NFS/Docker lock tests (nightly)#85:Scheduled
main
Nov 14, 20261m 25s
Property Tests (nightly)
completed successfully:
Property Tests (nightly)#94:Scheduled
main
Nov 14, 20263h 14m 37s
Merge pull request #895 from project-minigraf/chore/clippy-all-targets
completed successfully:
WASM#589:Commit61b5e84pushedbyadityamukho
v3
Nov 14, 20266m 43s
Merge pull request #895 from project-minigraf/chore/clippy-all-targets
completed successfully:
Coverage Gates#1067:Commit61b5e84pushedbyadityamukho
v3
Nov 14, 20268m 55s
Merge pull request #895 from project-minigraf/chore/clippy-all-targets
completed successfully:
Policy#852:Commit61b5e84pushedbyadityamukho
v3
Nov 14, 20267m 30s
Merge pull request #895 from project-minigraf/chore/clippy-all-targets
completed successfully:
Lint#381:Commit61b5e84pushedbyadityamukho
v3
Nov 14, 20262m 59s
Merge pull request #895 from project-minigraf/chore/clippy-all-targets
completed successfully:
Binary Size#1604:Commit61b5e84pushedbyadityamukho
v3
Nov 14, 20262m 32s
Merge pull request #895 from project-minigraf/chore/clippy-all-targets
completed successfully:
Rust#1685:Commit61b5e84pushedbyadityamukho
v3
Nov 14, 202614m 59s
Nightly Benchmarks (main)
completed successfully:
Nightly Benchmarks#314:Scheduled
main
Nov 14, 20261h 18m 57s
chore(lint): make all-targets clippy pass and gate it in CI
completed successfully:
Lint#380:Pull request#895synchronizebyadityamukho
chore/clippy-all-targets
Nov 14, 202651s
chore(lint): make all-targets clippy pass and gate it in CI
completed successfully:
Policy#851:Pull request#895synchronizebyadityamukho
chore/clippy-all-targets
Nov 14, 20263m 9s
chore(lint): make all-targets clippy pass and gate it in CI
completed successfully:
Binary Size#1603:Pull request#895synchronizebyadityamukho
chore/clippy-all-targets
Nov 14, 202649s
chore(lint): make all-targets clippy pass and gate it in CI
completed successfully:
WASM#588:Pull request#895synchronizebyadityamukho
chore/clippy-all-targets
Nov 14, 20263m 26s

Workflow runs

2500+ workflow runs