Add workflow with Agda master. #1
Triggered via pull request
September 12, 2023 11:22
jpoiret
Status
Failure
Total duration
7m 42s
Artifacts
–
Annotations
1 error
|
test-cubical
Process completed with exit code 1.
|