Refactor: use List1 in ShadowedModule #113
test.yml
on: push
build
24m 10s
cubical
24m 48s
interaction-latex-html
3m 0s
size-solver-test
1m 28s
stdlib-test
14m 50s
test
8m 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-59c04172d418ef86e8ebaafa78ca4c80084d9764
Expired
|
258 MB |
|