Agda.cabal: bump outdated dependencies bytestring, deepseq, and text #87
test.yml
on: push
build
27m 20s
cubical
33m 28s
interaction-latex-html
4m 15s
stdlib-test
20m 4s
test
16m 1s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
agda-Linux-4c4cb864aa10a36452e87a6dadc6b4571d1fc60b
Expired
|
297 MB |
|