Skip to content

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes. #246

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes.

Extract regexp for .ipkg sourcedir option to constant and update the regexp to include also double quotes. #246

Triggered via pull request June 8, 2024 21:02
Status Failure
Total duration 8m 12s
Artifacts

idris2.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 1 warning
build (25.3)
Process completed with exit code 2.
build (27.2)
The job was canceled because "_25_3" failed.
build (27.2)
The operation was canceled.
build (26.3)
The job was canceled because "_25_3" failed.
build (26.3)
The operation was canceled.
build (28.2)
The job was canceled because "_25_3" failed.
build (28.2)
The operation was canceled.
build (25.3)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3, actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.