update Idris2 submodule and flake input (#244) #540
mattpolzinci.yml
on: push
build-idris2-with-api
13m 57s
build
3m 46s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
installed-idris2-with-api
Expired
|
44.7 MB |
sha256:90cc6a1b59486f78c08efcf675b181a5f3d5e7749a556417176f184305159bb5
|
|