Skip to content
Build

[ compat ] adjust to upstream changes #80

Sign in to view logs

[ compat ] adjust to upstream changes

[ compat ] adjust to upstream changes #80

Triggered via pull request April 5, 2024 04:13
@stefan-hoeckstefan-hoeck
opened #23
export_infix
Status Failure
Total duration 57s
Artifacts –

ci-lib.yml

on: pull_request
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/.