update all dependencies tracked within this repo to latest main #549
mattpolzinci.yml
on: pull_request
build-idris2-with-api
12s
build
3m 19s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
installed-idris2-with-api
Expired
|
44.4 MB |
sha256:7cb0439acc5b3b2abf7b05a75ab30e8f42d9029826b6cff6e09ae87e80226783
|
|