close
Skip to content

Actions: asterinas/vostd

Actions

Verify VOSTD (Main) with verus-lang/verus

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-upstream-verus.yml
131 workflow runs
131 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
Explore verification for rcu Verify VOSTD (Main) with verus-lang/verus #131: Issue comment #448 (comment) created by rikosellic
2s
2s
Explore verification for rcu Verify VOSTD (Main) with verus-lang/verus #130: Issue comment #448 (comment) created by hiroki-chen
3s
3s
Explore verification for rcu Verify VOSTD (Main) with verus-lang/verus #129: Issue comment #448 (comment) created by hiroki-chen
1s
1s
Explore verification for rcu Verify VOSTD (Main) with verus-lang/verus #128: Issue comment #448 (comment) created by rikosellic
2s
2s
Add a few sync APIs (#450) Verify VOSTD (Main) with verus-lang/verus #127: Commit 8d2597e pushed by rikosellic
11m 23s main
main
11m 23s
Replace Some_0 with 0 (#449) Verify VOSTD (Main) with verus-lang/verus #126: Commit b687e8d pushed by rikosellic
1h 27m 17s main
main
1h 27m 17s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #125: Issue comment #439 (comment) created by SNoAnd
1s
1s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #124: Issue comment #439 (comment) created by Marsman1996
1s
1s
Add default interface for VmSpace Verify VOSTD (Main) with verus-lang/verus #123: Issue comment #446 (comment) created by hiroki-chen
1s
1s
Add default interface for VmSpace Verify VOSTD (Main) with verus-lang/verus #122: Issue comment #446 (comment) created by Marsman1996
1s
1s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #121: Issue comment #439 (comment) created by hiroki-chen
1s
1s
Add default interface for VmSpace Verify VOSTD (Main) with verus-lang/verus #120: Issue comment #446 (comment) created by hiroki-chen
1s
1s
A bunch of small fixes in vstd_extra (#447) Verify VOSTD (Main) with verus-lang/verus #119: Commit 9c38323 pushed by rikosellic
11m 36s main
main
11m 36s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #118: Issue comment #439 (comment) created by rikosellic
2s
2s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #117: Issue comment #439 (comment) created by Marsman1996
1s
1s
Add default interface for VmSpace Verify VOSTD (Main) with verus-lang/verus #116: Issue comment #446 (comment) created by Marsman1996
1s
1s
Add default interface for VmSpace (#446) Verify VOSTD (Main) with verus-lang/verus #115: Commit f1048e2 pushed by hiroki-chen
10m 58s main
main
10m 58s
Update DMA stream and add slice readers and writers (#445) Verify VOSTD (Main) with verus-lang/verus #114: Commit fcac176 pushed by hiroki-chen
11m 12s main
main
11m 12s
Bring segment.rs back into alignment with original (#439) Verify VOSTD (Main) with verus-lang/verus #113: Commit d02fa7e pushed by rikosellic
11m 10s main
main
11m 10s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #112: Issue comment #439 (comment) created by rikosellic
1s
1s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #111: Issue comment #439 (comment) created by SNoAnd
1s
1s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #110: Issue comment #439 (comment) created by hiroki-chen
1s
1s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #109: Issue comment #439 (comment) created by hiroki-chen
1s
1s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #108: Issue comment #439 (comment) created by Marsman1996
2s
2s
Bring segment.rs back into alignment with original Verify VOSTD (Main) with verus-lang/verus #107: Issue comment #439 (comment) created by SNoAnd
1s
1s