Skip to content

Actions: model-checking/verify-rust-std

Actions

Check PR Approvals

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_approval.yml
692 workflow runs
692 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
Update Kani Metrics Check PR Approvals #1929: Pull request #593 submitted by tautschnig
9s
9s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Check PR Approvals #1928: Pull request #589 submitted by Copilot AI
19s
19s
Check PR Approvals Check PR Approvals #1927: Merge group checks requested
10s
10s
Update Kani Metrics Check PR Approvals #1926: Pull request #586 submitted by feliperodri
11s
11s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Check PR Approvals #1925: Pull request #582 submitted by Copilot AI
11s
11s
Bump rand from 0.8.5 to 0.9.3 in /library/stdarch Check PR Approvals #1924: Pull request #585 submitted by feliperodri
13s
13s
Check PR Approvals Check PR Approvals #1923: Merge group checks requested
6s
6s
Update Kani Metrics Check PR Approvals #1922: Pull request #584 submitted by feliperodri
12s
12s
Check PR Approvals Check PR Approvals #1921: Merge group checks requested
6s
6s
Update Kani Metrics Check PR Approvals #1920: Pull request #583 submitted by feliperodri
12s
12s
Challenge 12: Verify safety of NonZero Check PR Approvals #1919: Pull request #565 submitted by feliperodri
13s
13s
Challenge 7: Verify safety of Atomic from_ptr methods Check PR Approvals #1918: Pull request #578 submitted by Copilot AI
11s
11s
Challenge 23: Verify safety of Vec functions part 1 Check PR Approvals #1917: Pull request #569 submitted by Copilot AI
13s
13s
Challenge 8: Verify safety and sorting correctness of SmallSort Check PR Approvals #1916: Pull request #576 submitted by Copilot AI
18s
18s
Verify safety of iterator adapter functions (Challenge 16) Check PR Approvals #1915: Pull request #549 submitted by Copilot AI
13s
13s
Challenge 26: Verify safety of Rc functions Check PR Approvals #1914: Pull request #574 submitted by Copilot AI
12s
12s
Challenge 25: Verify safety of VecDeque Check PR Approvals #1913: Pull request #564 submitted by Copilot AI
12s
12s
Challenge 29: Verify safety of Box functions Check PR Approvals #1912: Pull request #573 submitted by Copilot AI
11s
11s
Verify safety of str iter functions (Challenge 22) Check PR Approvals #1911: Pull request #557 submitted by Copilot AI
16s
16s
Verify memory safety of String functions (Challenge 10) Check PR Approvals #1910: Pull request #558 submitted by Copilot AI
13s
13s
Challenge 18: Verify safety of Slice iterator functions Check PR Approvals #1909: Pull request #568 submitted by Copilot AI
13s
13s
Challenge 22: Verify safety of str iter functions Check PR Approvals #1908: Pull request #572 submitted by Copilot AI
14s
14s
Challenge 4: Verify memory safety of BTreeMap node module Check PR Approvals #1907: Pull request #577 submitted by Copilot AI
11s
11s
Challenge 10: Verify memory safety of String functions Check PR Approvals #1906: Pull request #571 submitted by Copilot AI
11s
11s
Challenge 17: Verify safety of Slice functions Check PR Approvals #1905: Pull request #567 submitted by Copilot AI
17s
17s