Skip to content

Actions: secure-foundations/vest

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
78 workflow runs
78 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI CI #79: Scheduled
25m 35s main
main
25m 35s
Merge pull request #50 from secure-foundations/perf/zero-cost-primitives CI #78: Commit 24ba723 pushed by y1ca1
10m 25s main
main
10m 25s
vest_lib performance optimizations CI #77: Pull request #50 synchronize by y1ca1
11m 20s perf/zero-cost-primitives
perf/zero-cost-primitives
11m 20s
vest_lib performance optimizations CI #76: Pull request #50 opened by y1ca1
11m 17s perf/zero-cost-primitives
perf/zero-cost-primitives
11m 17s
CI CI #75: Scheduled
23m 42s main
main
23m 42s
CI CI #74: Scheduled
21m 23s main
main
21m 23s
Stabilize GeneralizedTime verification CI #73: Commit f958544 pushed by y1ca1
10m 50s main
main
10m 50s
Update Vest to Verus 0.2026.09.06 CI #72: Commit 1cad709 pushed by y1ca1
11m 37s main
main
11m 37s
CI CI #71: Scheduled
15m 9s main
main
15m 9s
Rebuild Vest guide CI #70: Commit 3fb19e7 pushed by y1ca1
11m 22s main
main
11m 22s
Improve Vest docs CI #69: Commit d4e5192 pushed by y1ca1
4m 22s main
main
4m 22s
Merge pull request #49 from secure-foundations/fix-projected-argument… CI #68: Commit 6b7dc49 pushed by y1ca1
11m 4s main
main
11m 4s
DSL: Do not dereference projected arguments in generated exec code CI #67: Pull request #49 opened by y1ca1
11m 19s fix-projected-argument-deref
fix-projected-argument-deref
11m 19s
Merge pull request #48 from secure-foundations/vest2.0 CI #66: Commit e0671fb pushed by y1ca1
11m 38s main
main
11m 38s
Release Vest 2.0 CI #65: Pull request #48 synchronize by y1ca1
11m 7s vest2.0
vest2.0
11m 7s
Release Vest 2.0 CI #64: Pull request #48 synchronize by y1ca1
3m 34s vest2.0
vest2.0
3m 34s
Release Vest 2.0 CI #63: Pull request #48 synchronize by y1ca1
11m 44s vest2.0
vest2.0
11m 44s
Release Vest 2.0 CI #62: Pull request #48 synchronize by y1ca1
11m 8s vest2.0
vest2.0
11m 8s
Release Vest 2.0 CI #61: Pull request #48 synchronize by y1ca1
11m 52s vest2.0
vest2.0
11m 52s
Release Vest 2.0 CI #60: Pull request #48 opened by y1ca1
2m 2s vest2.0
vest2.0
2m 2s
When generating Rust, avoid dereferencing parameter instantiations when these are projections CI #59: Pull request #47 opened by cjenkins-galois
7d 3h 21m 42s cjenkins-galois:fix-projected-argument-deref
cjenkins-galois:fix-projected-argument-deref
7d 3h 21m 42s
Update VestLib code to verify with the new mutable reference framewor… CI #58: Commit 78b1aa9 pushed by y1ca1
19m 36s main
main
19m 36s
Update VestLib code to verify with the new mutable reference framework CI #57: Pull request #45 synchronize by y1ca1
15m 46s new-mut-ref
new-mut-ref
15m 46s
Update VestLib code to verify with the new mutable reference framework CI #56: Pull request #45 synchronize by y1ca1
7m 50s new-mut-ref
new-mut-ref
7m 50s
Update VestLib code to verify with the new mutable reference framework CI #55: Pull request #45 synchronize by y1ca1
9m 39s new-mut-ref
new-mut-ref
9m 39s