Idris2 and External Libs

[ refactor ] Add a nix overlay (#3394) #914

Sign in to view logs

Triggered via push October 1, 2024 12:51

mattpolzin

main

Status Success

Total duration 43m 38s

Artifacts 6

ci-idris2-and-libs.yml

on: push

macos-bootstrap-chez

ubuntu-self-host-previous-version

ubuntu-bootstrap-chez

ubuntu-bootstrap-racket

windows-bootstrap-chez

nix-bootstrap-chez

macos-self-host-chez

ub-test-elab-util

ub-pack-test-pack

ub-pack-test-lsp

ub-test-katla-and-html

ubuntu-self-host-chez

ubuntu-build-api

ubuntu-self-host-racket

windows-self-host-racket

Annotations

3 warnings

macos-bootstrap-chez

[email protected] 3.12.6 is already installed and up-to-date. To reinstall 3.12.6, run: brew reinstall [email protected]

ub-test-katla-and-html

The following actions use a deprecated Node.js version and will be forced to run on node20: JamesIves/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

macos-self-host-chez

[email protected] 3.12.6 is already installed and up-to-date. To reinstall 3.12.6, run: brew reinstall [email protected]

Artifacts

Produced during runtime

Name	Size
idris2-nightly-chez Expired	38.1 MB
macos-installed-bootstrapped-idris2-chez Expired	28.1 MB
ubuntu-installed-bootstrapped-idris2-chez Expired	25.3 MB
ubuntu-installed-bootstrapped-idris2-racket Expired	57.9 MB
ubuntu-installed-idris2-0.7.0-chez Expired	38.1 MB
windows-installed-bootstrapped-idris2-chez Expired	25.5 MB