Skip to content
Build

[ feature ] Automating Mid-Install Temporary Directory Cleanup #1809

Sign in to view logs

[ feature ] Automating Mid-Install Temporary Directory Cleanup

[ feature ] Automating Mid-Install Temporary Directory Cleanup #1809

Triggered via pull request August 16, 2024 14:57
@Matthew-MosiorMatthew-Mosior
synchronize #301
Matthew-Mosior:temporary-directories-not-cleaned
Status Success
Total duration 33m 10s
Artifacts –

ci-lib.yml

on: pull_request
Build pack with Idris2 latest
47s
Build pack with Idris2 latest
Bootstrap with micropack
15m 22s
Bootstrap with micropack
Bootstrap with micropack-racket
28m 3s
Bootstrap with micropack-racket
Bootstrap with the shell script
17m 50s
Bootstrap with the shell script
Bootstrap with the shell script and racket
32m 59s
Bootstrap with the shell script and racket
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Build pack with Idris2 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 pack with Idris2 latest
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/