fix #7371: add Mimer tests for -s and -l #19
philderbeasttest.yml
on: push
build
13m 39s
cubical
24m 41s
interaction-latex-html
2m 52s
size-solver-test
1m 39s
stdlib-test
13m 14s
test
9m 53s
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-fb700aab8fab445848c63214f29989b5e8614eff
Expired
|
248 MB |
|