Skip to content
Build

Build #1497

Sign in to view logs

Build

Build #1497

Triggered via schedule December 3, 2023 21:11
@stefan-hoeckstefan-hoeck
⁠ 285eb62
main
Status Success
Total duration 41m 26s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-lib.yml

on: schedule
Build toml-idr with Idris latest
17s
Build toml-idr with Idris latest
Build filepath with Idris latest
12s
Build filepath with Idris latest
Bootstrap with micropack
20m 0s
Bootstrap with micropack
Bootstrap with micropack-racket
41m 17s
Bootstrap with micropack-racket
Bootstrap with the shell script
20m 15s
Bootstrap with the shell script
Bootstrap with the shell script and racket
39m 22s
Bootstrap with the shell script and racket
Build the lib with latest
52s
Build the lib with latest
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 7 warnings
Build filepath with Idris latest
Unable to find any artifacts for the associated workflow
Build toml-idr with Idris latest
Unable to find any artifacts for the associated workflow
Build filepath with Idris latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build toml-idr with Idris latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build the lib with latest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Bootstrap with micropack
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Bootstrap with the shell script
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Bootstrap with the shell script and racket
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Bootstrap with micropack-racket
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
dependencies-for-latest Expired
2.18 MB