Increase rounding to let SubsetTypes test pass on OSX #19192
keyboardDrummermsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
singletons
4m 7s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
1 error and 15 warnings
|
check-deep-tests / check-deep-tests
Last run of nightly-build.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/11237776009
|
|
integration-tests / test (ubuntu-20.04, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (ubuntu-20.04, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-13, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (windows-2019, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (windows-2019, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (windows-2019, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (windows-2019, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (windows-2019, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-13, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-13, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-13, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
integration-tests / test (macos-13, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-macos-13-1
Expired
|
1.36 MB |
sha256:47a02e66cc72a1e40c160e059dfc2b22358d48b1c96c61f753c78d368e32c167
|
|
|
integration-test-results-macos-13-2
Expired
|
1.36 MB |
sha256:4909f29d90faf96d395b12700c79043a752d65c03c5ff23fc7856d7e32f72a2e
|
|
|
integration-test-results-macos-13-3
Expired
|
1.36 MB |
sha256:9341661e76892c8044aab96a46ebe0dd4314d1cac83d88edb26019347848e729
|
|
|
integration-test-results-macos-13-4
Expired
|
1.36 MB |
sha256:b18359423452209bc47016f811f81b84e3c0706db2334a0ef12337054828d564
|
|
|
integration-test-results-macos-13-5
Expired
|
1.36 MB |
sha256:6403350c804daa0aec07c0f477ea2aa9824e54ebfd7da97b16da714f1d46322c
|
|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.36 MB |
sha256:d37ad25cd44dc630d09ffb399086590a679ecb8934abe5eb4609b069736bdb66
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.36 MB |
sha256:0c2861bbce19dcb53468e466efa2ebd871d9795396aca20a3eb61ce0ff187298
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.36 MB |
sha256:f3eb3830acbbe08dd20c0dbe09cc62d974454fe1d00ff3ba643948cfe7fc67c0
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.36 MB |
sha256:b99fa0b51a338e0c1b7c65b08c7b9615933b915b84098f0413cbe92ccedda9d2
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.36 MB |
sha256:0eab152ecbc949e456626d9462e77e9faba6f737ebf39008b609b1595acd561f
|
|
|
integration-test-results-windows-2019-1
Expired
|
1.36 MB |
sha256:3214e7be6061c5557556b70892c06c47e9c6bd2c26cf73be5ec1b56c1a0f18bc
|
|
|
integration-test-results-windows-2019-2
Expired
|
80.6 KB |
sha256:8d34b5b4a9ab612e2364ccbefb9117f61ed9746ec8830b5597bc2e680df86445
|
|
|
integration-test-results-windows-2019-3
Expired
|
1.36 MB |
sha256:2c48ca3f00056c5b390ec2896188201ae4877d23e427761a159c67e700dd1d23
|
|
|
integration-test-results-windows-2019-4
Expired
|
1.36 MB |
sha256:e0b3c1c35a248c15a9d969f5a332e87ee09c80c18d9146e6a33964b582218d54
|
|
|
integration-test-results-windows-2019-5
Expired
|
1.36 MB |
sha256:eeea2fb18177fd784217f6215a7414e1b4192bb8cb3f8915b828d59600424ef4
|
|
|
unit-test-results-macos-13
Expired
|
9.38 MB |
sha256:696b58d66f892c94b29c4b9cbaebcccc527a6a456102b2b7a755cd590dc4c9ed
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.41 MB |
sha256:f7d354901c6bd865e3c01794348acd6350b701cac0bbee437005a14acf71f0b3
|
|
|
unit-test-results-windows-2019
Expired
|
9.37 MB |
sha256:a9f64a54fb7f122da2f8d3cf53c33e315ac065306d0ea6ce07f08753e3321bbb
|
|