Skip to content

Add idris test configuration (#1152) #319

Add idris test configuration (#1152)

Add idris test configuration (#1152) #319

Triggered via push August 2, 2024 12:32
Status Success
Total duration 3m 5s
Artifacts

ci.yml

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

Annotations

6 warnings
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.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.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 - 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 - 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.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/