Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
867 workflow runs
867 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
Add Kani proof harnesses and contracts for unchecked_div_exact Build Book #2748: Pull request #672 synchronize by CYJ904
45m 17s CYJ904:yanjunchen904
CYJ904:yanjunchen904
45m 17s
Add Kani proof harnesses and contracts for unchecked_div_exact Build Book #2747: Pull request #672 opened by CYJ904
7m 7s CYJ904:yanjunchen904
CYJ904:yanjunchen904
7m 7s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2746: Pull request #582 synchronize by v3risec
5m 38s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 38s
Challenge 13: contracts and proofs for CStr trait implementations and safe methods Build Book #2745: Pull request #670 opened by kasimte
33m 23s kasimte:challenge-13-cstr
kasimte:challenge-13-cstr
33m 23s
Verify safety of char-related Searcher methods (Challenge 20) Build Book #2744: Pull request #537 synchronize by jrey8343
20m 40s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
20m 40s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2743: Pull request #582 synchronize by v3risec
15m 41s v3risec:challenge-26-rc
v3risec:challenge-26-rc
15m 41s
Verify safety of StrSearcher (Challenge 21) Build Book #2742: Pull request #538 synchronize by jrey8343
5m 26s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
5m 26s
Verify safety of StrSearcher (Challenge 21) Build Book #2741: Pull request #538 synchronize by jrey8343
8m 11s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
8m 11s
Verify safety of StrSearcher (Challenge 21) Build Book #2740: Pull request #538 synchronize by jrey8343
7m 4s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
7m 4s
Verify safety of StrSearcher (Challenge 21) Build Book #2739: Pull request #538 synchronize by jrey8343
6m 43s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
6m 43s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed Build Book #2738: Pull request #669 opened by kasimte
8m 26s kasimte:challenge-29
kasimte:challenge-29
8m 26s
add unsafe-finder tool Build Book #2737: Pull request #369 synchronize by patricklam
8m 53s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
8m 53s
add unsafe-finder tool Build Book #2736: Pull request #369 synchronize by patricklam
8m 53s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
8m 53s
add unsafe-finder tool Build Book #2735: Pull request #369 synchronize by patricklam
13m 38s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
13m 38s
Challenge 2: Verify safety of raw-pointer intrinsics with Kani Build Book #2734: Pull request #668 synchronize by v3risec
8m 35s v3risec:challenge-2-intrinsics
v3risec:challenge-2-intrinsics
8m 35s
Challenge 2: Verify safety of raw-pointer intrinsics with Kani Build Book #2733: Pull request #668 opened by v3risec
9m 5s v3risec:challenge-2-intrinsics
v3risec:challenge-2-intrinsics
9m 5s
docs: mark NonZero challenge as resolved (#663) Build Book #2732: Commit ad7590c pushed by github-merge-queue Bot
7m 40s main
main
7m 40s
Build Book Build Book #2731: Merge group checks requested
7m 5s
7m 5s
docs: mark NonZero challenge as resolved (#663) Build Book #2730: Commit ad7590c pushed by github-merge-queue Bot
7m 8s gh-readonly-queue/main/pr-663-2d50a1a22bb8c14dac37ac8bbb443a8ebbb6510b
gh-readonly-queue/main/pr-663-2d50a1a22bb8c14dac37ac8bbb443a8ebbb6510b
7m 8s
add unsafe-finder tool Build Book #2729: Pull request #369 synchronize by patricklam
5m 16s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
5m 16s
add unsafe-finder tool Build Book #2728: Pull request #369 synchronize by patricklam
6m 54s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
6m 54s
Challenge 21: Verify safety of StrSearcher with Kani Build Book #2727: Pull request #621 synchronize by v3risec
7m 17s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
7m 17s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2726: Pull request #582 synchronize by v3risec
5m 18s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 18s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2725: Pull request #582 synchronize by v3risec
6m 46s v3risec:challenge-26-rc
v3risec:challenge-26-rc
6m 46s
Build Book Build Book #2724: Merge group checks requested
7m 11s
7m 11s