Skip to content
build latest

Support Agda v2.7.0 #217

Sign in to view logs

Support Agda v2.7.0

Support Agda v2.7.0 #217

Triggered via pull request August 20, 2024 17:35
@wenkokkewenkokke
synchronize #218
agda-v2.7.0
Status Cancelled
Total duration 1m 30s
Artifacts –

build-latest.yml

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

Annotations

10 errors and 1 warning
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-14 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
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.
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 macos-14 with Cabal
Support for arm64 is experimental