Skip to content
Build Book

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani #2746

Sign in to view logs

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani #2746

Triggered via pull request September 3, 2026 03:46
@v3risecv3risec
synchronize #582
v3risec:challenge-26-rc
Status Success
Total duration 5m 38s
Artifacts 1

book.yml

on: pull_request
build
5m 32s
build
deploy
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
4.58 MB
sha256:3bd4057b458f7df4ee2d51be619a5563dfad372b1864440f23cddd360df99413