Skip to content
build latest

Support Agda v2.7.0 #221

Sign in to view logs

Support Agda v2.7.0

Support Agda v2.7.0 #221

Triggered via pull request August 20, 2024 18:15
@wenkokkewenkokke
synchronize #218
agda-v2.7.0
Status Cancelled
Total duration 19s
Artifacts –

build-latest.yml

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

Annotations

8 errors
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-14 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
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 ubuntu-22.04 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
The operation was canceled.
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 windows-2022 with Cabal
The operation was canceled.