update all dependencies tracked within this repo to latest main (#245) #552
ci.yml
on: push
build-idris2-with-api
15m 31s
build
4m 4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
installed-idris2-with-api
Expired
|
44.4 MB |
sha256:ef6263589392e7b76b2001435a4afd6c3f9b5b3c1ca49f7d53ed867f41b6532d
|
|