[ upstream ] Remove type constructor tags #542
spcfoxci.yml
on: pull_request
build-idris2-with-api
11s
build
1m 0s
Annotations
1 error
|
build
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
installed-idris2-with-api
Expired
|
44.7 MB |
sha256:d3e172fcffd8c01e53baee68615f7b655ff41d6b08a28a5e780d83e6386e4a40
|
|