Skip to content
Idris2 and External Libs

[ admin ] Clear the release checklist #38

Sign in to view logs

[ admin ] Clear the release checklist

[ admin ] Clear the release checklist #38

Triggered via push July 21, 2025 15:57
@CodingCellistCodingCellist
pushed 20c4447
finalise-release-0.7.0
Status Success
Total duration 44m 0s
Artifacts 6

ci-idris2-and-libs.yml

on: push
initialise
5s
initialise
quick-check
13m 15s
quick-check
macos-bootstrap-chez
11m 51s
macos-bootstrap-chez
ubuntu-self-host-previous-version
11m 54s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
7m 49s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
12m 59s
ubuntu-bootstrap-racket
windows-bootstrap-chez
17m 41s
windows-bootstrap-chez
nix-bootstrap-chez
20m 58s
nix-bootstrap-chez
macos-self-host-chez
18m 26s
macos-self-host-chez
ub-test-collie
30s
ub-test-collie
ub-test-frex
4m 1s
ub-test-frex
ub-test-elab-util
40s
ub-test-elab-util
ub-pack-test-pack
14m 7s
ub-pack-test-pack
ub-pack-test-lsp
17m 10s
ub-pack-test-lsp
ub-test-katla-and-html
7m 26s
ub-test-katla-and-html
ubuntu-self-host-chez
12m 50s
ubuntu-self-host-chez
ubuntu-build-api
4m 42s
ubuntu-build-api
ubuntu-self-host-racket
ubuntu-self-host-racket
windows-self-host-racket
11m 14s
windows-self-host-racket
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 4 notices
macos-bootstrap-chez
python@3.12 3.12.11 is already installed and up-to-date. To reinstall 3.12.11, run: brew reinstall python@3.12
macos-self-host-chez
python@3.12 3.12.11 is already installed and up-to-date. To reinstall 3.12.11, run: brew reinstall python@3.12
macos-bootstrap-chez
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
macos-bootstrap-chez
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
macos-self-host-chez
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
macos-self-host-chez
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520

Artifacts

Produced during runtime
Name Size Digest
idris2-nightly-chez Expired
38.4 MB
sha256:1ea26f720e36851a334fe3c744968530ec2cec35c3ba223e1fc82d0cfe9c5195
macos-installed-bootstrapped-idris2-chez Expired
28.7 MB
sha256:cde1f5ba33a4d76b493065e8dfd53cc4630101db030382b998e5bec830d43498
ubuntu-installed-bootstrapped-idris2-chez Expired
25.7 MB
sha256:adac7e4d75a3dea9ca852198a958b6701c203afef42b5da00bc434b0162d7195
ubuntu-installed-bootstrapped-idris2-racket Expired
56.8 MB
sha256:5e882199be1ca441e8021b39dabe5c08c5d679bae713e8f4e646103744b5a2f6
ubuntu-installed-idris2-0.7.0-chez Expired
38.5 MB
sha256:d54601c43541d3ec7e6aafeff7bdfd96de4070e1f8417da9aa655fb4919b36ed
windows-installed-bootstrapped-idris2-chez Expired
25.9 MB
sha256:72c94cd5d96705ca095bd8a2fcc8237d29ab5d1d17c6365669aaa23ca9d86f49