Skip to content

Actions: asterinas/vostd

Actions

Format and Verify VOSTD (Main)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,057 workflow runs
2,057 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
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #32: Pull request #226 synchronize by rikosellic
7m 13s rikosellic:merge-fvt1
rikosellic:merge-fvt1
7m 13s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #31: Pull request #226 synchronize by rikosellic
7m 41s rikosellic:merge-fvt1
rikosellic:merge-fvt1
7m 41s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #30: Pull request #226 synchronize by rikosellic
8m 0s rikosellic:merge-fvt1
rikosellic:merge-fvt1
8m 0s
sync dv Format and Verify VOSTD (Main) #29: Commit fc5cabe pushed by rikosellic
6m 57s phaseII/verified
phaseII/verified
6m 57s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #28: Pull request #226 synchronize by rikosellic
7m 6s rikosellic:merge-fvt1
rikosellic:merge-fvt1
7m 6s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #27: Pull request #226 synchronize by rikosellic
7m 45s rikosellic:merge-fvt1
rikosellic:merge-fvt1
7m 45s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #26: Pull request #226 synchronize by rikosellic
6m 58s rikosellic:merge-fvt1
rikosellic:merge-fvt1
6m 58s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #25: Pull request #226 synchronize by rikosellic
7m 14s rikosellic:merge-fvt1
rikosellic:merge-fvt1
7m 14s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #24: Pull request #226 synchronize by rikosellic
6m 38s rikosellic:merge-fvt1
rikosellic:merge-fvt1
6m 38s
Merge pull request #218 from rikosellic/remove-reference-in-inv Format and Verify VOSTD (Main) #23: Commit 90d6f4c pushed by SNoAnd
7m 44s phaseII/verified
phaseII/verified
7m 44s
PhaseII verified: Add proofs about memory_region Format and Verify VOSTD (Main) #22: Pull request #226 opened by rikosellic
8m 23s rikosellic:merge-fvt1
rikosellic:merge-fvt1
8m 23s
Fix some warnings Format and Verify VOSTD (Main) #21: Commit c6a905d pushed by rikosellic
8m 52s phaseII/verified
phaseII/verified
8m 52s
Fix some warnings Format and Verify VOSTD (Main) #20: Pull request #225 opened by rikosellic
6m 53s rikosellic:fix-warning
rikosellic:fix-warning
6m 53s
PhaseII verified: Temporal logic and state machines Format and Verify VOSTD (Main) #19: Pull request #213 synchronize by rikosellic
8m 24s rikosellic:mutexspec
rikosellic:mutexspec
8m 24s
PhaseII verified: Temporal logic and state machines Format and Verify VOSTD (Main) #18: Pull request #213 synchronize by rikosellic
6m 45s rikosellic:mutexspec
rikosellic:mutexspec
6m 45s
sync dv Format and Verify VOSTD (Main) #17: Commit 162b463 pushed by rikosellic
7m 8s phaseII/verified
phaseII/verified
7m 8s
PhaseII verified: Temporal logic and state machines Format and Verify VOSTD (Main) #16: Pull request #213 synchronize by rikosellic
6m 52s rikosellic:mutexspec
rikosellic:mutexspec
6m 52s
PhaseII verified: Temporal logic and state machines Format and Verify VOSTD (Main) #15: Pull request #213 synchronize by rikosellic
6m 56s rikosellic:mutexspec
rikosellic:mutexspec
6m 56s
PhaseII verified: Use self in Inv Format and Verify VOSTD (Main) #14: Pull request #218 opened by rikosellic
7m 3s rikosellic:remove-reference-in-inv
rikosellic:remove-reference-in-inv
7m 3s
sync dv Format and Verify VOSTD (Main) #13: Commit 671d820 pushed by rikosellic
7m 20s phaseII/verified
phaseII/verified
7m 20s
sync dv Format and Verify VOSTD (Main) #12: Commit e746431 pushed by rikosellic
7m 17s phaseII/verified
phaseII/verified
7m 17s
Simplify specs (#216) Format and Verify VOSTD (Main) #11: Commit 918b802 pushed by rikosellic
7m 18s phaseII/verified
phaseII/verified
7m 18s
PhaseII: Simplify specs in vstd_extra and aster_common Format and Verify VOSTD (Main) #10: Pull request #216 opened by rikosellic
8m 19s rikosellic:remove-referece-in-spec-models
rikosellic:remove-referece-in-spec-models
8m 19s
chore: use path = "src/lib.rs" to enable verus-analyzer Format and Verify VOSTD (Main) #9: Commit c5d5a4a pushed by Marsman1996
8m 26s phaseII/verified
phaseII/verified
8m 26s
sync dv Format and Verify VOSTD (Main) #8: Commit 12f1d9c pushed by rikosellic
7m 9s phaseII/verified
phaseII/verified
7m 9s
ProTip! You can narrow down the results and go further in time using created:<2025-10-24 or the other filters available.