Skip to content

[cargo-verus] fix: silence the "nothing to verify" warning when build… #2590

[cargo-verus] fix: silence the "nothing to verify" warning when build…

[cargo-verus] fix: silence the "nothing to verify" warning when build… #2590

Triggered via push August 15, 2026 04:11
Status Success
Total duration 4m 28s
Artifacts 1

pages.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
The github-pages gem can't satisfy your Gemfile's dependencies. If you want to use a different Jekyll version or need additional dependencies, consider building Jekyll site with GitHub Actions: https://jekyllrb.com/docs/continuous-integration/github-actions/

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
15.1 MB
sha256:fcb4c0b60c048c4cfab5cc8d2c2f454838dbfcc8eb025457722bfbccce76bfbd