Test

[ fix ] Handle different format of output from Agda-2.8.0 #1074

Sign in to view logs

Re-run triggered September 5, 2025 11:46

banacorn

ci

Status Failure

Total duration 21m 19s

Artifacts –

test.yml

on: push

Matrix: build-and-test

Annotations

1 error and 2 warnings

build-and-test (ubuntu-latest, Agda-2.8.0)

Process completed with exit code 1.

build-and-test (ubuntu-latest, Agda-2.8.0)

Cache save failed.

build-and-test (ubuntu-latest, Agda-2.8.0)

Cache save failed.