Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 #10010: Merge group checks requested
30m 20s
30m 20s
ci ci #10009: Merge group checks requested
23m 19s
23m 19s
ci ci #10008: Merge group checks requested
10m 32s
10m 32s
ci ci #10007: Merge group checks requested
1m 42s
1m 42s
ci ci #10006: Merge group checks requested
2m 35s
2m 35s
ci ci #10005: Merge group checks requested
1m 27s
1m 27s
ci ci #10004: Merge group checks requested
13m 11s
13m 11s
vstd: add cmp specs for tuples ci #10003: Pull request #2389 synchronize by bsdinis
1h 2m 40s bsdinis/vuu
bsdinis/vuu
1h 2m 40s
vstd: add cmp specs for tuples ci #10002: Pull request #2389 synchronize by bsdinis
2m 42s bsdinis/vuu
bsdinis/vuu
2m 42s
resource: update examples to make use of new Resource Algebra interface ci #10001: Pull request #2396 synchronize by bsdinis
46m 22s bsdinis/skv
bsdinis/skv
46m 22s
vstd: add specification to Vec::retain ci #10000: Pull request #2265 synchronize by bsdinis
38m 35s bsdinis/wtp
bsdinis/wtp
38m 35s
rust_verify: improve error reporting on autoderive Clone ci #9999: Pull request #2263 synchronize by bsdinis
31m 38s bsdinis/owt
bsdinis/owt
31m 38s
Add verifier::assume(externals_available_without_declaration) ci #9998: Pull request #1988 synchronize by Chris-Hawblitzel
23m 17s externals_available_without_declaration
externals_available_without_declaration
23m 17s
ci ci #9997: Merge group checks requested
47m 17s
47m 17s
Changes for slice::from_raw_parts, SliceIndex ci #9996: Pull request #2419 synchronize by zero-to-nat
28m 2s verify-rustlib-ptr-from-raw-parts
verify-rustlib-ptr-from-raw-parts
28m 2s
deprecate the set function for arrays/slices ci #9995: Pull request #2423 opened by tjhance
33m 41s deprecate-slice-array-set
deprecate-slice-array-set
33m 41s
vstd: add specification to Vec::retain ci #9994: Pull request #2265 synchronize by bsdinis
1h 15m 41s bsdinis/wtp
bsdinis/wtp
1h 15m 41s
resource: update examples to make use of new Resource Algebra interface ci #9993: Pull request #2396 synchronize by bsdinis
57m 14s bsdinis/skv
bsdinis/skv
57m 14s
vstd: add cmp specs for tuples ci #9992: Pull request #2389 synchronize by bsdinis
39m 4s bsdinis/vuu
bsdinis/vuu
39m 4s
rust_verify: improve error reporting on autoderive Clone ci #9991: Pull request #2263 synchronize by bsdinis
33m 6s bsdinis/owt
bsdinis/owt
33m 6s
Bot/crate updates 20260506 38 ci #9990: Pull request #2422 opened by bsdinis
28m 27s bot/crate-updates-20260506-38
bot/crate-updates-20260506-38
28m 27s
crate-updates crate-updates #38: Manually run by bsdinis
1m 47s main
main
1m 47s
ci ci #9989: Merge group checks requested
33m 26s
33m 26s
[cargo-verus] fix: import .vir for transitive verified deps ci #9988: Pull request #2403 synchronize by Kab1r
Action required Kab1r:fix/cargo-verus-transitive-imports
Kab1r:fix/cargo-verus-transitive-imports
Action required
ci ci #9987: Merge group checks requested
32m 33s
32m 33s