chore(deps): bump the actions group with 6 updates #68
dependabot[bot]idris-verification.yml
on: pull_request
verify-idris2 (Idris2 build oracle)
6m 18s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
idris2-build-log
|
260 Bytes |
sha256:60e0a7756e50b094a9d329478b8c0aeadf1e8d2d39f0791414fcec906fd1744f
|
|