Skip to content
build

[pre-commit.ci] pre-commit autoupdate #10

Sign in to view logs

[pre-commit.ci] pre-commit autoupdate

[pre-commit.ci] pre-commit autoupdate #10

Triggered via pull request April 8, 2024 17:52
@pre-commit-cipre-commit-ci[bot]
synchronize #47
pre-commit-ci-update-config
Status Failure
Total duration 5m 55s
Artifacts –

build.yml

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

Annotations

5 errors and 1 warning
Linux / Agda 2.6.2.2
Process completed with exit code 1.
macOS / Agda 2.6.2.2
The job was canceled because "ubuntu-latest_Linux_2_6_2" failed.
macOS / Agda 2.6.2.2
The operation was canceled.
Windows / Agda 2.6.2.2
The job was canceled because "ubuntu-latest_Linux_2_6_2" failed.
Windows / Agda 2.6.2.2
The operation was canceled.
Linux / Agda 2.6.2.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.