setup: Don't assume exe is built on --lib #112
test.yml
on: push
build
13m 32s
cubical
24m 29s
interaction-latex-html
2m 54s
size-solver-test
1m 37s
stdlib-test
14m 35s
test
10m 2s
Annotations
2 warnings
size-solver-test:
src/size-solver/Main.hs#L103
In the use of ‘tail’
|
size-solver-test:
src/size-solver/Main.hs#L105
In the use of ‘tail’
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
agda-Linux-4f82f9b90afbcc72e528ebde08ff6b9bef5b6a9a
Expired
|
251 MB |
|