Skip to content
build

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

Sign in to view logs

[pre-commit.ci] pre-commit autoupdate

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

Triggered via pull request October 9, 2023 17:45
@pre-commit-cipre-commit-ci[bot]
opened #47
pre-commit-ci-update-config
Status Failure
Total duration 7m 33s
Artifacts –

build.yml

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

Annotations

5 errors
Linux / Agda 2.6.2.2
Process completed with exit code 1.
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.
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.