Skip to content

Make it more pleasant to write a proof-by-computation over a range of values #6118

Make it more pleasant to write a proof-by-computation over a range of values

Make it more pleasant to write a proof-by-computation over a range of values #6118

Triggered via pull request November 15, 2024 20:57
@parnoparno
synchronize #1338
depoly_compute
Status Success
Total duration 16m 56s
Artifacts 5

ci.yml

on: pull_request
Matrix: test-and-release-macos
fmt
51s
fmt
smoke-test-and-release-macos-x86
16m 44s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
8m 28s
smoke-test-and-release-windows
smoke-test-and-release-linux
6m 20s
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.27 MB