Test

[ fix ] Tweak the source location before Agda-2.6.4 #666

Sign in to view logs

Triggered via push November 23, 2024 13:11

banacorn

ci

Status Failure

Total duration 2m 48s

Artifacts –

test.yml

on: push

Matrix: build-and-test

Annotations

9 errors

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

Process completed with exit code 1.

build-and-test (macos-latest, Agda-2.6.3)

Process completed with exit code 1.

build-and-test (macos-latest, Agda-2.7.0)

Process completed with exit code 1.

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

Process completed with exit code 1.

build-and-test (macos-latest, Agda-2.6.4)

Process completed with exit code 1.

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

Process completed with exit code 1.

build-and-test (windows-latest, Agda-2.6.4)

Process completed with exit code 1.

build-and-test (windows-latest, Agda-2.6.3)

Process completed with exit code 1.

build-and-test (windows-latest, Agda-2.7.0)

Process completed with exit code 1.