Add /v4 to references to dafny-lang/DafnyRuntimeGo #19215
robin-awsmsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
7s
singletons
3m 45s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
59s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.66 MB |
sha256:1ba0c0fa5e51af242c98cd1cf7ca7b363e2caf0beb610303da7435858b2eac35
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.66 MB |
sha256:26065fb5f9eb1d035a6e66fd24ffd93998fef3a487f88a1e10712c06343a89ff
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.64 MB |
sha256:d93a21620f0a07fa219abc433914cce1bce4aa248cd6ba17c52fd1393130ab39
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.65 MB |
sha256:1773fa52f29532543609206f42c163687315605c54845f7463c80daa67d970d7
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.65 MB |
sha256:4641926a9ee3ec864777e7d3a09b985ac5f662900636741e066b4c1a92b5e33f
|
|
|
test-coverage-results
Expired
|
33.6 MB |
sha256:f574bbfcf889a13ea73f2f9d072d4b49d8dcd761dd44166810c5d81166db3dcf
|
|
|
unit-test-results-macos-13
Expired
|
9.38 MB |
sha256:931878589fd47fd35f22e6a2dd385ebed78c681ee7531cd269fb465fcd905492
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.41 MB |
sha256:6a44684de1072551c6bd41d97f6b0ba3fc15afb6f0d0c5931ef3df0701c3c4b2
|
|
|
unit-test-results-windows-2019
Expired
|
9.37 MB |
sha256:d99ba16fac200cb28c435d8db7f940ca9c9906c627c14874f2e02189f318484f
|
|