Support Agda v2.7.0 #215
wenkokkeAnnotations
8 errors
|
Build Agda (latest) on ubuntu-20.04 with Cabal
Canceling since a higher priority waiting request for 'build latest-refs/pull/218/merge' exists
|
|
Build Agda (latest) on ubuntu-20.04 with Cabal
The operation was canceled.
|
|
Build Agda (latest) on macos-11 with Cabal
Canceling since a higher priority waiting request for 'build latest-refs/pull/218/merge' exists
|
|
Build Agda (latest) on ubuntu-22.04 with Cabal
Canceling since a higher priority waiting request for 'build latest-refs/pull/218/merge' exists
|
|
Build Agda (latest) on windows-2022 with Cabal
Canceling since a higher priority waiting request for 'build latest-refs/pull/218/merge' exists
|
|
Build Agda (latest) on macos-12 with Cabal
Canceling since a higher priority waiting request for 'build latest-refs/pull/218/merge' exists
|
|
Build Agda (latest) on macos-12 with Cabal
The operation was canceled.
|
|
Build Agda (latest) on windows-2022 with Cabal
The operation was canceled.
|