Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
824 workflow runs
824 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
Challenge 21: Verify safety of StrSearcher with Kani Build Book #2685: Pull request #621 synchronize by v3risec
2m 40s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
2m 40s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2684: Pull request #582 synchronize by v3risec
6m 28s v3risec:challenge-26-rc
v3risec:challenge-26-rc
6m 28s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2683: Pull request #587 synchronize by v3risec
7m 2s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 2s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Build Book #2682: Pull request #589 synchronize by v3risec
6m 24s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
6m 24s
Challenge 20: Verify Char Searcher with Kani Build Book #2681: Pull request #620 synchronize by v3risec
7m 8s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
7m 8s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Build Book #2680: Pull request #589 synchronize by v3risec
5m 20s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
5m 20s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2679: Pull request #587 synchronize by v3risec
7m 5s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 5s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2678: Pull request #549 synchronize by kasimte
6m 45s kasimte:challenge-16
kasimte:challenge-16
6m 45s
Build Book Build Book #2677: Merge group checks requested
7m 2s
7m 2s
Challenge 20: Verify Char Searcher with Kani Build Book #2676: Pull request #620 synchronize by v3risec
6m 33s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
6m 33s
Challenge 20: Verify Char Searcher with Kani Build Book #2675: Pull request #620 synchronize by v3risec
7m 10s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
7m 10s
Challenge 20: Verify Char Searcher with Kani Build Book #2674: Pull request #620 synchronize by v3risec
7m 6s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
7m 6s
Challenge 21: Verify safety of StrSearcher with Kani Build Book #2673: Pull request #621 synchronize by v3risec
7m 1s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
7m 1s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2672: Pull request #587 synchronize by v3risec
5m 55s v3risec:challenge-27-arc
v3risec:challenge-27-arc
5m 55s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2671: Pull request #582 synchronize by v3risec
7m 9s v3risec:challenge-26-rc
v3risec:challenge-26-rc
7m 9s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2670: Pull request #582 synchronize by v3risec
7m 7s v3risec:challenge-26-rc
v3risec:challenge-26-rc
7m 7s
Challenge 20: Verify Char Searcher with Kani Build Book #2669: Pull request #620 synchronize by v3risec
6m 44s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
6m 44s
Build Book Build Book #2668: Merge group checks requested
14m 28s
14m 28s
Challenge 20: Verify Char Searcher with Kani Build Book #2667: Pull request #620 synchronize by v3risec
6m 44s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
6m 44s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2666: Pull request #582 synchronize by v3risec
6m 59s v3risec:challenge-26-rc
v3risec:challenge-26-rc
6m 59s
Challenge 20: Verify Char Searcher with Kani Build Book #2665: Pull request #620 synchronize by v3risec
6m 55s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
6m 55s
Challenge 20: Verify Char Searcher with Kani Build Book #2664: Pull request #620 synchronize by v3risec
7m 9s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
7m 9s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2663: Pull request #587 synchronize by v3risec
7m 13s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 13s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2662: Pull request #582 synchronize by v3risec
7m 3s v3risec:challenge-26-rc
v3risec:challenge-26-rc
7m 3s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani Build Book #2661: Pull request #587 synchronize by v3risec
7m 0s v3risec:challenge-27-arc
v3risec:challenge-27-arc
7m 0s