Kani proofs

kani.yml

63 workflow runs

Kani proofs (main)
completed successfully:
Kani proofs#63:Scheduled
main
Nov 6, 20261m 9s
Kani proofs (v3)
completed successfully:
Kani proofs#62:Scheduled
main
Nov 5, 20262m 30s
Kani proofs (main)
completed successfully:
Kani proofs#61:Scheduled
main
Nov 5, 202641s
Kani proofs (v3)
completed successfully:
Kani proofs#60:Scheduled
main
Nov 4, 20262m 42s
Kani proofs (main)
completed successfully:
Kani proofs#59:Scheduled
main
Nov 4, 202639s
Kani proofs (v3)
completed successfully:
Kani proofs#58:Scheduled
main
Nov 3, 20263m 46s
Kani proofs (main)
completed successfully:
Kani proofs#57:Scheduled
main
Nov 3, 20261m 12s
Kani proofs (v3)
completed successfully:
Kani proofs#56:Scheduled
main
Nov 3, 20262m 46s
Kani proofs (main)
completed successfully:
Kani proofs#55:Scheduled
main
Nov 2, 202648s
Kani proofs (v3)
completed successfully:
Kani proofs#54:Scheduled
main
Nov 1, 20262m 55s
Kani proofs (main)
completed successfully:
Kani proofs#53:Scheduled
main
Nov 1, 202641s
Kani proofs (v3)
completed successfully:
Kani proofs#52:Scheduled
main
Oct 31, 20262m 49s
Kani proofs (main)
completed successfully:
Kani proofs#51:Scheduled
main
Oct 31, 202640s
Kani proofs (v3)
completed successfully:
Kani proofs#50:Scheduled
main
Oct 30, 20263m 10s
Kani proofs (main)
completed successfully:
Kani proofs#49:Scheduled
main
Oct 30, 202640s
Kani proofs (perf/796-dist-lto)
completed successfully:
Kani proofs#48:Pull request#801synchronizebyadityamukho
perf/796-dist-lto
Oct 30, 20262m 34s
Kani proofs (perf/796-dist-lto)
completed successfully:
Kani proofs#47:Pull request#801openedbyadityamukho
perf/796-dist-lto
Oct 30, 20262m 47s
Kani proofs (perf/794-set-sort-unstable)
completed successfully:
Kani proofs#46:Pull request#800synchronizebyadityamukho
perf/794-set-sort-unstable
Oct 30, 20262m 52s
Kani proofs (perf/794-set-sort-unstable)
completed successfully:
Kani proofs#45:Pull request#800openedbyadityamukho
perf/794-set-sort-unstable
Oct 30, 20262m 51s
Kani proofs (v3)
completed successfully:
Kani proofs#44:Scheduled
main
Oct 29, 20262m 37s
Kani proofs (main)
completed successfully:
Kani proofs#43:Scheduled
main
Oct 29, 202642s
Kani proofs (test/760-deterministic-schedules)
completed successfully:
Kani proofs#42:Pull request#786openedbyadityamukho
test/760-deterministic-schedules
Oct 29, 20263m 2s
Kani proofs (feature/693-decoder-proofs)
completed successfully:
Kani proofs#41:Pull request#784synchronizebyadityamukho
feature/693-decoder-proofs
Oct 29, 20263m 10s
Kani proofs (feature/693-decoder-proofs)
completed successfully:
Kani proofs#40:Pull request#784openedbyadityamukho
feature/693-decoder-proofs
Oct 29, 20262m 45s
Kani proofs (chore/693-kani-main)
completed successfully:
Kani proofs#39:Pull request#783openedbyadityamukho
chore/693-kani-main
Oct 29, 202650s

Workflow runs for Kani proofs

63 workflow runs