Skip to content
Build Book

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

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 #2726

Triggered via pull request August 31, 2026 02:28
@v3risecv3risec
synchronize #582
v3risec:challenge-26-rc
Status Success
Total duration 5m 18s
Artifacts 1

book.yml

on: pull_request
build
5m 15s
build
deploy
0s
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:25257982c6dc44bc5b9c79e2cadc1ad7c8b99243a27660e3ea7107bdbd380a5a