Skip to content

strong_call_ensures attribute #6781

strong_call_ensures attribute

strong_call_ensures attribute #6781

Triggered via pull request April 4, 2025 04:16
Status Success
Total duration 14m 59s
Artifacts 5

ci.yml

on: pull_request
Matrix: test-and-release-macos
fmt
54s
fmt
smoke-test-and-release-macos-x86
14m 53s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
7m 59s
smoke-test-and-release-windows
smoke-test-and-release-linux
6m 47s
smoke-test-and-release-linux
release
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
verus-arm64-macos Expired
96.8 MB
sha256:c9f92a30121bcf2491f51e5abe4c7fff256237305e1bbaccd78683ad000d458c
verus-x86-linux Expired
26.8 MB
sha256:1e04e33d5c10570adc7796e0caeff3f222a3bb8fc314fb77b33849576f93c277
verus-x86-macos Expired
22.5 MB
sha256:0e89a243884b1f59bd227ea5dd93c4fc84b64c67c08d82600cfcbcee6c6904e2
verus-x86-win Expired
19 MB
sha256:7d0fef95848f367b0d4aba1b1dde0340b3a77beb12f9be29520699c13f468f95
verusdoc Expired
4.39 MB
sha256:8aabe54c202f6c4bb3bc3312615ebc0b54a26798e555ec5ff2abda30e7327063