Skip to content

Actions: DID-Lab-SZU/vostd

Actions

Format and Verify VOSTD (Main)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
63 workflow runs
63 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
refactor: Add FrameRawPerms and refactor Segment perms (#781) Format and Verify VOSTD (Main) #63: Commit 6e951a6 pushed by DID-Lab-SZU
5m 42s main
main
5m 42s
remove unused ostd/specs/mm/vm_space_embedding.rs (#777) Format and Verify VOSTD (Main) #62: Commit f1cb124 pushed by DID-Lab-SZU
5m 3s main
main
5m 3s
Fix irc11 verus upgrade (#774) Format and Verify VOSTD (Main) #61: Commit a7a57fa pushed by DID-Lab-SZU
11m 29s main
main
11m 29s
fix: simplify Range::clone spec (#772) Format and Verify VOSTD (Main) #60: Commit 21346a5 pushed by DID-Lab-SZU
12m 21s main
main
12m 21s
chore: fix PartialSpec for Frame (#768) Format and Verify VOSTD (Main) #59: Commit 15e0bb7 pushed by DID-Lab-SZU
13m 26s main
main
13m 26s
fix: Frame::meta (#765) Format and Verify VOSTD (Main) #58: Commit 96a1b1f pushed by DID-Lab-SZU
5m 44s main
main
5m 44s
chore: remove several redundant InvView implementations (#764) Format and Verify VOSTD (Main) #57: Commit a6552fc pushed by DID-Lab-SZU
14m 20s main
main
14m 20s
performance (#761) Format and Verify VOSTD (Main) #56: Commit bc7200b pushed by DID-Lab-SZU
10m 12s main
main
10m 12s
skills: add review skill based on the guidelines (#733) Format and Verify VOSTD (Main) #55: Commit fb5411f pushed by DID-Lab-SZU
15m 43s main
main
15m 43s
doc: distill PR #718 review feedback into coding guidelines (#750) Format and Verify VOSTD (Main) #54: Commit d8718d2 pushed by DID-Lab-SZU
10m 1s main
main
10m 1s
simplify: mm::page_table::cursor (#751) Format and Verify VOSTD (Main) #53: Commit 9cf782e pushed by DID-Lab-SZU
11m 0s main
main
11m 0s
sync(toolchain): update to 1.98.1 (#749) Format and Verify VOSTD (Main) #52: Commit e3c7e11 pushed by DID-Lab-SZU
12m 58s main
main
12m 58s
refactor: use fractional permissions and remove frame_obligations (… Format and Verify VOSTD (Main) #51: Commit 59a69f8 pushed by DID-Lab-SZU
6m 55s main
main
6m 55s
Fix IRC11 toolchain after Rust 1.98 upgrade (#747) Format and Verify VOSTD (Main) #50: Commit 79d1d8a pushed by DID-Lab-SZU
7m 2s main
main
7m 2s
doc: refine Verus coding guidelines and trim repetition (#746) Format and Verify VOSTD (Main) #49: Commit 1a6bcdc pushed by DID-Lab-SZU
12m 2s main
main
12m 2s
chore: update to 1.98.0 (#745) Format and Verify VOSTD (Main) #48: Commit 256ce84 pushed by DID-Lab-SZU
13m 40s main
main
13m 40s
fix: assert error in macOS due to Verus update (#743) Format and Verify VOSTD (Main) #47: Commit af740af pushed by DID-Lab-SZU
6m 21s main
main
6m 21s
relax rlimit (#741) Format and Verify VOSTD (Main) #46: Commit 8dd86cd pushed by DID-Lab-SZU
12m 24s main
main
12m 24s
prove: model range allocator freelist initialization (#728) Format and Verify VOSTD (Main) #45: Commit 5274613 pushed by DID-Lab-SZU
4m 55s main
main
4m 55s
chore: add Option::tracked_borrow_mut (#732) Format and Verify VOSTD (Main) #44: Commit 9230589 pushed by DID-Lab-SZU
6m 44s main
main
6m 44s
sync: lock (#730) Format and Verify VOSTD (Main) #43: Commit fd054f1 pushed by DID-Lab-SZU
12m 3s main
main
12m 3s
prove: WaitQueue num_wakers (#702) Format and Verify VOSTD (Main) #42: Commit d445e82 pushed by DID-Lab-SZU
12m 27s main
main
12m 27s
Add scheduler-owned IRC11 task views (#726) Format and Verify VOSTD (Main) #41: Commit 9f9e428 pushed by DID-Lab-SZU
11m 5s main
main
11m 5s
Add RCU read lease registry (#723) Format and Verify VOSTD (Main) #40: Commit 1618697 pushed by DID-Lab-SZU
9m 58s main
main
9m 58s
chore: rename Frame::paddr to Frame::start_paddr_spec` (#724) Format and Verify VOSTD (Main) #39: Commit 29c0ea5 pushed by DID-Lab-SZU
13m 7s main
main
13m 7s