build latest

Test release v2.4.0 #229

Sign in to view logs

Triggered via pull request August 22, 2024 18:18

wenkokke

opened #220

v2.4.0

Status Cancelled

Total duration 2m 46s

Artifacts –

build-latest.yml

on: pull_request

Matrix: build-latest

Annotations

8 errors

Build Agda (latest) on macos-12 with Cabal

The run was canceled by @wenkokke.

Build Agda (latest) on macos-14 with Cabal

The run was canceled by @wenkokke.

Build Agda (latest) on ubuntu-20.04 with Cabal

The run was canceled by @wenkokke.

Build Agda (latest) on ubuntu-20.04 with Cabal

The operation was canceled.

Build Agda (latest) on ubuntu-22.04 with Cabal

The run was canceled by @wenkokke.

Build Agda (latest) on ubuntu-22.04 with Cabal

The operation was canceled.

Build Agda (latest) on windows-2022 with Cabal

The run was canceled by @wenkokke.

Build Agda (latest) on windows-2022 with Cabal

The operation was canceled.