Test

[ git ] Merge pull request #200 from fredrik-bakke/patch-1 #6

Sign in to view logs

Triggered via push November 19, 2024 08:12

jiangsy

master

Status Failure

Total duration 7m 34s

Artifacts –

test.yml

on: push

Matrix: build-and-test

Annotations

1 error

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

Process completed with exit code 1.