Skip to content

vstd: Add missing cases for lemma2_to64 #6092

vstd: Add missing cases for lemma2_to64

vstd: Add missing cases for lemma2_to64 #6092

Triggered via pull request November 1, 2024 03:21
Status Success
Total duration 15m 47s
Artifacts 5

ci.yml

on: pull_request
Matrix: test-and-release-macos
fmt
56s
fmt
smoke-test-and-release-macos-x86
10m 5s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
8m 52s
smoke-test-and-release-windows
smoke-test-and-release-linux
6m 24s
smoke-test-and-release-linux
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
verus-arm64-macos
20 MB
verus-x86-linux
25.5 MB
verus-x86-macos
21.3 MB
verus-x86-win
17.7 MB
verusdoc
4.25 MB