Skip to content

Fix support for ADT with unused type parameters #436

Fix support for ADT with unused type parameters

Fix support for ADT with unused type parameters #436

Triggered via pull request August 12, 2023 07:00
Status Failure
Total duration 1h 19m 40s
Artifacts

site.yml

on: pull_request
Build and Test
1m 9s
Build and Test
Publish Docs
0s
Publish Docs
Generate README
0s
Generate README
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and Test
Process completed with exit code 1.