Add links to public Zulip channel from Github and Dafny web sites. #20042
Triggered via pull request
January 10, 2025 23:32
olivier-aws
Status
Success
Total duration
1h 25m 21s
Artifacts
9
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
4s
singletons
3m 42s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
1m 2s
Annotations
2 warnings
|
xunit-tests / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
integration-tests / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.69 MB |
sha256:614518618580f6ad959b03071f993fa3c5115dd9341275e409abe99f197b7a1c
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.68 MB |
sha256:c1c281b51989e3bafb1b10b4dda2603b12a41a27e6a6b346a442f3565ae84062
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.71 MB |
sha256:be752a2ff27a57997af3c3b90abb4d90320c801d23b9530ef41fbdbe03542c4c
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.69 MB |
sha256:5f03833ff56fcef6cb053f5cf212a15e09f2993a024d9adc12dbd6750cf3caef
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.7 MB |
sha256:304594eae4ce24867e5753bda451eb8e3379ffbff00078eddf7994ca26ff9650
|
|
|
test-coverage-results
Expired
|
35.1 MB |
sha256:2c1fd5db6fe25a7769cc8a09bd2800cd36c1eb9d2eb766e72bce02bd758fb1bf
|
|
|
unit-test-results-macos-13
Expired
|
9.58 MB |
sha256:837f49a437ce0b569825e40c4db45840c79860155f4a0c68396eec7298ec8e25
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.61 MB |
sha256:85b33a426451d2a21d9ad638dc1b857ea420e92f78ac01b666bc64422346d044
|
|
|
unit-test-results-windows-2019
Expired
|
9.58 MB |
sha256:c62d4a620a87c66e20c4448f22148a9e9dd4aa84159f999e69918c067f6a8830
|
|