[ upstream ] Remove type constructor tags #544
spcfoxci.yml
on: pull_request
build-idris2-with-api
12s
build
3m 42s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
installed-idris2-with-api
Expired
|
44.4 MB |
sha256:464e1af6974d3fbc7206c7f7f71b96c88bd7a0e7996dbbfab0ac4914f830a3bc
|
|