New error LocalQualifiedModule instead of GenericError #111
uncle-bettytest.yml
on: push
build
23m 1s
cubical
24m 56s
interaction-latex-html
2m 58s
size-solver-test
2m 10s
stdlib-test
13m 28s
test
9m 50s
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-20915c36c9f889c2d79ade120419864fd9289f73
Expired
|
251 MB |
|