Skip to content
Install

Reduce boxing by using Idris function types #240

Sign in to view logs

Reduce boxing by using Idris function types

Reduce boxing by using Idris function types #240

Triggered via push November 1, 2024 22:03
@mmhelloworldmmhelloworld
pushed 11fec8f
main
Status Success
Total duration 39m 37s
Artifacts –

install.yml

on: push
ubuntu-build
32m 1s
ubuntu-build
windows-build
39m 25s
windows-build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
ubuntu-build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-java@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ubuntu-build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
windows-build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-java@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
windows-build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/