Skip to content

Actions: secure-foundations/verdict

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ISC too Build #43: Commit 9bc18bc pushed by zhengyao-lin
16m 49s main
main
16m 49s
Dual license Build #42: Commit 4cc824d pushed by zhengyao-lin
16m 47s main
main
16m 47s
Add license Build #41: Commit 4d470d1 pushed by zhengyao-lin
15m 32s main
main
15m 32s
cargo in for crossbeam-channel - Update #1085452476 Dependabot Updates #1: by dependabot bot
1m 10s main
main
1m 10s
Update README.md Build #40: Commit dfafdc7 pushed by zhengyao-lin
16m 41s main
main
16m 41s
Update README.md Build #39: Commit 425ee1b pushed by zhengyao-lin
16m 7s main
main
16m 7s
Update README.md Build #38: Commit c55b7da pushed by zhengyao-lin
15m 48s main
main
15m 48s
Update README.md Build #37: Commit 85d5239 pushed by zhengyao-lin
16m 31s main
main
16m 31s
Update README.md Build #36: Commit c963489 pushed by zhengyao-lin
15m 26s main
main
15m 26s
Add link to docs Build #35: Commit da1aae2 pushed by zhengyao-lin
15m 47s main
main
15m 47s
Fix CI Build #34: Commit d080c3f pushed by zhengyao-lin
15m 48s main
main
15m 48s
Fix docs Build #33: Commit 7561f40 pushed by zhengyao-lin
17m 40s main
main
17m 40s
Add GitHub pages CI Build #32: Commit 5aff303 pushed by zhengyao-lin
18m 2s main
main
18m 2s
Fix CI and some broken doc links Build #31: Commit 19f3078 pushed by zhengyao-lin
15m 31s main
main
15m 31s
Add cargo fmt to CI Build #30: Commit 85dd764 pushed by zhengyao-lin
16m 29s main
main
16m 29s
Run cargo fmt Build #29: Commit d853ba7 pushed by zhengyao-lin
15m 44s main
main
15m 44s
Fix docs Build #28: Commit a54d1f3 pushed by zhengyao-lin
16m 7s main
main
16m 7s
Add more docs and examples Build #27: Commit c7c0196 pushed by zhengyao-lin
16m 24s main
main
16m 24s
Add a public wrapper in the verdict crate for some core constructs Build #26: Commit 2158a54 pushed by zhengyao-lin
16m 2s main
main
16m 2s
Improve documentation Build #25: Commit 62db546 pushed by zhengyao-lin
15m 56s main
main
15m 56s
Update to use the official Verus repo Build #24: Commit 22a71a4 pushed by zhengyao-lin
16m 16s main
main
16m 16s
Use the official Verus repo and cargo-verus Build #23: Pull request #2 opened by zhengyao-lin
16m 49s cargo-verus
cargo-verus
16m 49s
Add forbid(unsafe_code) attributes Build #22: Commit b7068e4 pushed by zhengyao-lin
12m 7s main
main
12m 7s
Fix libcrux/hax versioning Build #21: Commit 8be5bd4 pushed by zhengyao-lin
12m 25s main
main
12m 25s
Fix deps/verus submodule Build #20: Commit d502fdd pushed by zhengyao-lin
12m 59s main
main
12m 59s