Update to Agda 2.6.4 #348
jespercockxAnnotations
11 errors and 6 warnings
|
ubuntu-latest / ghc 8.10.7
Process completed with exit code 1.
|
|
ubuntu-latest / ghc 8.8.4
The job was canceled because "ubuntu-latest_3_8_8_10_7" failed.
|
|
ubuntu-latest / ghc 8.8.4
Process completed with exit code 1.
|
|
ubuntu-latest / ghc 9.0.2
The job was canceled because "ubuntu-latest_3_8_8_10_7" failed.
|
|
ubuntu-latest / ghc 9.0.2
The operation was canceled.
|
|
ubuntu-latest / ghc 9.2.5
The job was canceled because "ubuntu-latest_3_8_8_10_7" failed.
|
|
ubuntu-latest / ghc 9.2.5
The operation was canceled.
|
|
ubuntu-latest / ghc 9.4.3
The job was canceled because "ubuntu-latest_3_8_8_10_7" 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_10_7" failed.
|
|
ubuntu-latest / ghc 8.6.5
The operation was canceled.
|
|
ubuntu-latest / ghc 8.10.7
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
ubuntu-latest / ghc 8.8.4
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
ubuntu-latest / ghc 9.0.2
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
ubuntu-latest / ghc 9.2.5
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
ubuntu-latest / ghc 9.4.3
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
ubuntu-latest / ghc 8.6.5
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|