std_specs: add map lemmas to infer contains_value after insert #7781
bsdinisci.yml
on: pull_request
Matrix: test-and-release-macos
fmt
58s
smoke-test-and-release-macos-x86
24m 54s
smoke-test-and-release-windows
8m 52s
smoke-test-and-release-linux
7m 43s
release
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
verus-arm64-macos
|
113 MB |
sha256:9a580f9d3d59624bf7935ecce312e72ea0ec6d3956892a467a83b2d8241d33c1
|
|
|
verus-x86-linux
|
29 MB |
sha256:0b63a207bedae5106ff36a87d0b94703eef2b7fc1e3ee4768a936547ba7ab9e4
|
|
|
verus-x86-macos
|
24.8 MB |
sha256:918b85a9b4ad903902503e0c8a359416b00ff0f67f89e6194b73757c0d0c249a
|
|
|
verus-x86-win
|
21.2 MB |
sha256:c11d6d0acf98fe5bd4952e45496147ec28f6850fe908bc4db96a878f2f07407b
|
|
|
verusdoc
|
5.95 MB |
sha256:d0c8773631408bd9fdae323dc43668bbac21a6401341acecec6f10575cf2706a
|
|