vstd: add spec for Option::Clone #6113
tjhanceci.yml
on: push
Matrix: test-and-release-macos
fmt
1m 12s
smoke-test-and-release-macos-x86
10m 24s
smoke-test-and-release-windows
7m 18s
smoke-test-and-release-linux
6m 31s
release
0s
Annotations
5 errors
|
test-and-release-macos
Process completed with exit code 101.
|
|
test-and-release-macos (record-history)
The job was canceled because "job" failed.
|
|
test-and-release-macos (record-history)
The operation was canceled.
|
|
test-and-release-macos (singular)
The job was canceled because "job" failed.
|
|
test-and-release-macos (singular)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
verus-x86-linux
|
25.5 MB |
|
|
verus-x86-macos
|
21.3 MB |
|
|
verus-x86-win
|
17.7 MB |
|