Skip to content

Actions: verus-lang/verified-ironkv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #84: Scheduled
4m 31s main
main
4m 31s
CI CI #83: Scheduled
3m 10s main
main
3m 10s
CI CI #82: Scheduled
4m 42s main
main
4m 42s
CI CI #81: Scheduled
3m 14s main
main
3m 14s
CI CI #80: Scheduled
4m 58s main
main
4m 58s
CI CI #79: Scheduled
3m 6s main
main
3m 6s
CI CI #78: Scheduled
4m 52s main
main
4m 52s
CI CI #77: Scheduled
3m 27s main
main
3m 27s
CI CI #76: Scheduled
4m 50s main
main
4m 50s
CI CI #75: Scheduled
1m 4s main
main
1m 4s
Remove explicit dependencies on builtin and builtin_macros CI #74: Commit 472c621 pushed by parno
53s main
main
53s
Eliminate all of the warnings (they originated from the deprecation CI #73: Commit cba26e8 pushed by parno
2m 59s main
main
2m 59s
CI CI #72: Scheduled
3m 7s main
main
3m 7s
CI CI #71: Scheduled
4m 39s main
main
4m 39s
CI CI #70: Scheduled
4m 33s main
main
4m 33s
CI CI #69: Scheduled
4m 23s main
main
4m 23s
CI CI #68: Scheduled
3m 6s main
main
3m 6s
CI CI #67: Scheduled
4m 37s main
main
4m 37s
CI CI #66: Scheduled
3m 12s main
main
3m 12s
Use axiom rather than deprecated external_body proof (#4) CI #65: Commit 4155855 pushed by jaybosamiya
4m 32s main
main
4m 32s
Make compatible with new Verus that enforces termination checking CI #64: Commit ab5df22 pushed by jaybosamiya
4m 6s main
main
4m 6s
Make compatible with latest Verus that requires axiom rather than a… CI #63: Commit ebe4efa pushed by jaybosamiya
4m 43s main
main
4m 43s
CI CI #62: Scheduled
4m 14s main
main
4m 14s
use axiom keyword CI #61: Pull request #4 opened by ahuoguo
3m 32s ahuoguo:axiom-keyword
ahuoguo:axiom-keyword
3m 32s
CI CI #60: Scheduled
2m 48s main
main
2m 48s