New interaction error UnexpectedWhere instead of GenericError #17
philderbeasttest.yml
on: push
build
13m 38s
cubical
24m 23s
interaction-latex-html
2m 35s
size-solver-test
1m 38s
stdlib-test
13m 11s
test
9m 44s
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-a7edb851ddbd2eff62fab399542a22fdb68b909e
Expired
|
248 MB |
|