Skip to content
Build

[ refactor ] fewer public exports #81

Sign in to view logs

[ refactor ] fewer public exports

[ refactor ] fewer public exports #81

Triggered via push April 5, 2024 04:17
@stefan-hoeckstefan-hoeck
pushed b0499eb
export
Status Failure
Total duration 55s
Artifacts –

ci-lib.yml

on: push
Build the lib with Idris2 HEAD
48s
Build the lib with Idris2 HEAD
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build the lib with Idris2 HEAD
Process completed with exit code 1.
Build the lib with Idris2 HEAD
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.