Skip to content

Actions: asterinas/vostd

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
Simplify proofs (#488) Verify VOSTD (Main) with verus-lang/verus #215: Commit da8d135 pushed by rikosellic
11m 18s main
main
11m 18s
Simplify proofs (#488) Format and Verify VOSTD (Main) #1020: Commit da8d135 pushed by rikosellic
5m 38s main
main
5m 38s
Simplify proofs (#488) Deploy Rust docs to GitHub Pages #672: Commit da8d135 pushed by rikosellic
6m 37s main
main
6m 37s
Permission refactor, verify cursor_mut_at and PageTablePageMeta::on_drop Verify VOSTD (Main) with verus-lang/verus #214: Issue comment #485 (comment) created by hiroki-chen
2s
2s
WIP: Weak memory support Deploy Rust docs to GitHub Pages #671: Pull request #487 synchronize by hiroki-chen
5m 53s hiroki-chen:weak-memory
hiroki-chen:weak-memory
5m 53s
WIP: Weak memory support Format and Verify VOSTD (Main) #1019: Pull request #487 synchronize by hiroki-chen
5m 44s hiroki-chen:weak-memory
hiroki-chen:weak-memory
5m 44s
Running Copilot Code Review Copilot #1: by Copilot AI
6m 46s main
main
6m 46s
WIP: Weak memory support Verify VOSTD (Main) with verus-lang/verus #213: Issue comment #487 (comment) created by hiroki-chen
1s
1s
Add verified_bitflags crate Verify VOSTD (Main) with verus-lang/verus #212: Issue comment #486 (comment) created by hiroki-chen
7s
7s
Use #[verifier::bit_vector] to simplify proofs Format and Verify VOSTD (Main) #1018: Pull request #488 opened by rikosellic
11m 11s rikosellic:bit-vector-proof
rikosellic:bit-vector-proof
11m 11s
Use #[verifier::bit_vector] to simplify proofs Deploy Rust docs to GitHub Pages #670: Pull request #488 opened by rikosellic
11m 11s rikosellic:bit-vector-proof
rikosellic:bit-vector-proof
11m 11s
Permission refactor, verify cursor_mut_at and PageTablePageMeta::on_drop Deploy Rust docs to GitHub Pages #669: Pull request #485 synchronize by SNoAnd
4m 30s CertiKProject:main
CertiKProject:main
4m 30s
Permission refactor, verify cursor_mut_at and PageTablePageMeta::on_drop Format and Verify VOSTD (Main) #1017: Pull request #485 synchronize by SNoAnd
9m 9s CertiKProject:main
CertiKProject:main
9m 9s
Add verified_bitflags crate (#486) Deploy Rust docs to GitHub Pages #668: Commit ef16b5e pushed by rikosellic
2m 59s main
main
2m 59s
Add verified_bitflags crate (#486) Verify VOSTD (Main) with verus-lang/verus #211: Commit ef16b5e pushed by rikosellic
11m 27s main
main
11m 27s
Add verified_bitflags crate (#486) Format and Verify VOSTD (Main) #1016: Commit ef16b5e pushed by rikosellic
12m 1s main
main
12m 1s
WIP: Weak memory support Format and Verify VOSTD (Main) #1015: Pull request #487 opened by hiroki-chen
10m 40s hiroki-chen:weak-memory
hiroki-chen:weak-memory
10m 40s
WIP: Weak memory support Deploy Rust docs to GitHub Pages #667: Pull request #487 opened by hiroki-chen
4m 45s hiroki-chen:weak-memory
hiroki-chen:weak-memory
4m 45s
Add verified_bitflags crate Deploy Rust docs to GitHub Pages #666: Pull request #486 opened by rikosellic
9m 53s rikosellic:verified-bitflags
rikosellic:verified-bitflags
9m 53s
Add verified_bitflags crate Format and Verify VOSTD (Main) #1014: Pull request #486 opened by rikosellic
11m 51s rikosellic:verified-bitflags
rikosellic:verified-bitflags
11m 51s
Permission refactor, verify cursor_mut_at and PageTablePageMeta::on_drop Deploy Rust docs to GitHub Pages #665: Pull request #485 opened by SNoAnd
6m 22s CertiKProject:main
CertiKProject:main
6m 22s
Permission refactor, verify cursor_mut_at and PageTablePageMeta::on_drop Format and Verify VOSTD (Main) #1013: Pull request #485 opened by SNoAnd
10m 42s CertiKProject:main
CertiKProject:main
10m 42s
verus-update-test Run Verus Update Test #232: Repository dispatch triggered by rikosellic
11m 23s
11m 23s
verus-update-test Run Verus Update Test #231: Repository dispatch triggered by rikosellic
11m 33s
11m 33s
fix: fallout in RCU and RwArc invariants by Verus update (#484) Format and Verify VOSTD (Main) #1012: Commit 699ac48 pushed by Marsman1996
5m 33s main
main
5m 33s