Skip to content
CI

Update to Agda 2.6.4 #349

Sign in to view logs

Update to Agda 2.6.4

Update to Agda 2.6.4 #349

Triggered via pull request October 6, 2023 14:56
@omelkonianomelkonian
synchronize #196
aliao/agda-2.6.4
Status Failure
Total duration 2m 2s
Artifacts –

ci.yml

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

Annotations

11 errors
ubuntu-latest / ghc 8.8.4
Process completed with exit code 1.
ubuntu-latest / ghc 8.10.7
The job was canceled because "ubuntu-latest_3_8_8_8_4" failed.
ubuntu-latest / ghc 8.10.7
Process completed with exit code 1.
ubuntu-latest / ghc 9.0.2
The job was canceled because "ubuntu-latest_3_8_8_8_4" failed.
ubuntu-latest / ghc 9.0.2
The operation was canceled.
ubuntu-latest / ghc 9.4.3
The job was canceled because "ubuntu-latest_3_8_8_8_4" failed.
ubuntu-latest / ghc 9.4.3
The operation was canceled.
ubuntu-latest / ghc 8.6.5
The job was canceled because "ubuntu-latest_3_8_8_8_4" failed.
ubuntu-latest / ghc 8.6.5
The operation was canceled.
ubuntu-latest / ghc 9.2.5
The job was canceled because "ubuntu-latest_3_8_8_8_4" failed.
ubuntu-latest / ghc 9.2.5
The operation was canceled.