[ fix ] False positives checking for conflicts in coverage checking #1191
dunhamsteveci-idris2-and-libs.yml
on: pull_request
initialise
2s
nix-bootstrap-chez
21m 51s
macos-self-host-chez
14m 19s
ub-test-collie
1m 10s
ub-test-frex
3m 38s
ub-test-elab-util
37s
ub-pack-test-pack
11m 56s
ub-pack-test-lsp
14m 49s
ub-test-katla-and-html
6m 45s
ubuntu-self-host-racket
0s
windows-self-host-racket
12m 6s
Annotations
16 warnings
|
initialise
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
quick-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
macos-bootstrap-chez
[email protected] 3.12.8 is already installed and up-to-date.
To reinstall 3.12.8, run:
brew reinstall [email protected]
|
|
ubuntu-bootstrap-chez
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-self-host-previous-version
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ub-test-elab-util
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-build-api
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ub-test-collie
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-bootstrap-racket
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ub-test-frex
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ub-test-katla-and-html
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-self-host-chez
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
macos-self-host-chez
[email protected] 3.12.8 is already installed and up-to-date.
To reinstall 3.12.8, run:
brew reinstall [email protected]
|
|
nix-bootstrap-chez
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ub-pack-test-pack
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ub-pack-test-lsp
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 | |
|---|---|---|---|
|
idris2-nightly-chez
Expired
|
38.2 MB |
sha256:85d8156afbd5ddb6412ded16eb3a008e45a286bce073d1f53f3e7e0900f82a6e
|
|
|
macos-installed-bootstrapped-idris2-chez
Expired
|
28.3 MB |
sha256:028d7242c82c3a41e90c53e3e0a70cd363b761272ade352831015035e7970f66
|
|
|
ubuntu-installed-bootstrapped-idris2-chez
Expired
|
25.5 MB |
sha256:4072392c12ddb0e9067e7ab942e2022015545e4bf30e60784bff01a5a3a5e6b2
|
|
|
ubuntu-installed-bootstrapped-idris2-racket
Expired
|
56.8 MB |
sha256:b551d64710da2405693fa73a0001ae62e91166e2d3271d30c96cdeef6e17e10e
|
|
|
ubuntu-installed-idris2-0.7.0-chez
Expired
|
38.2 MB |
sha256:20f6116d19af13c0b2798dd9048d022eefdd9d90c26333fd1022adb713f00a67
|
|
|
windows-installed-bootstrapped-idris2-chez
Expired
|
25.7 MB |
sha256:9b902db72853a65d23fc0588f9366b85dfde4139196fc41d3ac1e6c8bc2ac2e5
|
|