Skip to content
CI

Add idris test configuration #317

Sign in to view logs

Add idris test configuration

Add idris test configuration #317

Triggered via pull request July 25, 2024 09:12
@isbergisberg
opened #1152
isberg:idris-test-configuration
Status Failure
Total duration 2m 20s
Artifacts –

ci.yml

on: pull_request
Go Format
7s
Go Format
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 6 warnings
Go Format
Process completed with exit code 1.
Go 1.21.x - macOS-latest
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-go@93397bea11091df50f3d7e59dc26a7711a8bcfbe. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Go 1.20.x - ubuntu-latest
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-go@93397bea11091df50f3d7e59dc26a7711a8bcfbe. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Go 1.20.x - macOS-latest
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-go@93397bea11091df50f3d7e59dc26a7711a8bcfbe. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Go 1.21.x - ubuntu-latest
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-go@93397bea11091df50f3d7e59dc26a7711a8bcfbe. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Go 1.21.x - windows-latest
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-go@93397bea11091df50f3d7e59dc26a7711a8bcfbe. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Go 1.20.x - windows-latest
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-go@93397bea11091df50f3d7e59dc26a7711a8bcfbe. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/