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
fix mode checking return statements ci #9949: Pull request #2416 opened by tjhance
35m 1s fix-mode-checking-unit-return
fix-mode-checking-unit-return
35m 1s
ci ci #9948: Merge group checks requested
32m 21s
32m 21s
mark Seq as tracked so &mut Seq can be used ci #9947: Pull request #2415 opened by tjhance
32m 39s seq-tracked
seq-tracked
32m 39s
pages pages #2369: completed by github-merge-queue Bot
1m 0s
1m 0s
mut_ref cleanup: cleanup mode-checking a bit (#2412) ci #9946: Commit ef73c6b pushed by github-merge-queue Bot
40m 7s main
main
40m 7s
Extend Verus with Logical Atomicity ci #9945: Pull request #2326 synchronize by slerpyyy
37m 11s logatom
logatom
37m 11s
Extend Verus with Logical Atomicity ci #9944: Pull request #2326 synchronize by slerpyyy
6m 51s logatom
logatom
6m 51s
ci ci #9943: Merge group checks requested
30m 41s
30m 41s
pages pages #2368: completed by parno
51s
51s
Update the crate-update workflow (#2414) ci #9942: Commit b1ae124 pushed by parno
33m 59s main
main
33m 59s
Update the crate-update workflow ci #9941: Pull request #2414 opened by parno
33m 7s push-owrnqrmuzrol
push-owrnqrmuzrol
33m 7s
Extend Verus with Logical Atomicity ci #9940: Pull request #2326 synchronize by slerpyyy
33m 34s logatom
logatom
33m 34s
pages pages #2367: completed by github-merge-queue Bot
57s
57s
Replace update-field with constructor for better quantifier triggerin… ci #9939: Commit 15556b6 pushed by github-merge-queue Bot
34m 10s main
main
34m 10s
ci ci #9938: Merge group checks requested
26m 10s
26m 10s
vstd: more borrow_mut like functions ci #9937: Pull request #2413 opened by tjhance
29m 2s more-borrow-muts
more-borrow-muts
29m 2s
mut_ref cleanup: cleanup mode-checking a bit ci #9936: Pull request #2412 opened by tjhance
28m 22s cleanup-mode
cleanup-mode
28m 22s
nightly-verita nightly-verita #73: Scheduled
14m 32s main
main
14m 32s
pages pages #2366: completed by github-merge-queue Bot
52s
52s
support DerefMut ci #9935: Pull request #2411 opened by tjhance
31m 59s deref-mut
deref-mut
31m 59s
mut_ref cleanup: remove ExprX::{Loc, VarLoc, Assign} (#2410) ci #9934: Commit fccc8bc pushed by github-merge-queue Bot
27m 55s main
main
27m 55s
ci ci #9933: Merge group checks requested
29m 51s
29m 51s
mut_ref cleanup: remove ExprX::{Loc, VarLoc, Assign} ci #9932: Pull request #2410 opened by tjhance
29m 27s remove-nodes
remove-nodes
29m 27s
release release #76: Scheduled
29s main
main
29s
Replace update-field with constructor for better quantifier triggering on unchanged fields ci #9931: Pull request #2409 opened by Chris-Hawblitzel
37m 54s update-fields
update-fields
37m 54s