Skip to content
Build, Test, and Benchmark

Fix #7113: solve instance constraints before with-abstraction (#7122) #27

Sign in to view logs

Fix #7113: solve instance constraints before with-abstraction (#7122)

Fix #7113: solve instance constraints before with-abstraction (#7122) #27

Triggered via push April 12, 2024 14:53
@JobPetrovcicJobPetrovcic
pushed b430f9d
master
Status Failure
Total duration 45m 45s
Artifacts 1

test.yml

on: push
build
19m 0s
build
cubical
25m 57s
cubical
interaction-latex-html
4m 34s
interaction-latex-html
stdlib-test
3m 16s
stdlib-test
test
11m 56s
test
Fit to window
Zoom out
Zoom in

Annotations

5 errors
stdlib-test
Process completed with exit code 2.
stdlib-test
Process completed with exit code 2.
interaction-latex-html
Process completed with exit code 2.
interaction-latex-html
Process completed with exit code 2.
test
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
agda-Linux-b430f9d0f01f68d2f6029e6c83db6a5a87563abb Expired
230 MB