Skip to content

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

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. #262

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

idris1.yml

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

Annotations

15 errors and 1 warning
build (25.3, stackage)
Process completed with exit code 2.
build (26.1, stackage)
The job was canceled because "_25_3_stackage" failed.
build (26.1, stackage)
The operation was canceled.
build (27.2, stackage)
The job was canceled because "_25_3_stackage" failed.
build (27.2, stackage)
The operation was canceled.
build (25.3, git)
The job was canceled because "_25_3_stackage" failed.
build (25.3, git)
The operation was canceled.
build (27.2, git)
The job was canceled because "_25_3_stackage" failed.
build (27.2, git)
The operation was canceled.
build (26.1, git)
The job was canceled because "_25_3_stackage" failed.
build (26.1, git)
The operation was canceled.
build (28.2, stackage)
The job was canceled because "_25_3_stackage" failed.
build (28.2, stackage)
The operation was canceled.
build (28.2, git)
The job was canceled because "_25_3_stackage" failed.
build (28.2, git)
The operation was canceled.
build (25.3, stackage)
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/.