Delete unused glue1 bindings (#7021)
#302
VitalyAnkhtest.yml
on: push
build
22m 7s
cubical
22m 48s
interaction-latex-html
2m 44s
stdlib-test
14m 29s
test
10m 6s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
agda-Linux-2a0a3dadb0603d488b4076f5cdb75297f45802bd
Expired
|
230 MB |
|