Skip to content
Website

Fix compilation of Recursive GADT schema derivation #429

Sign in to view logs

Fix compilation of Recursive GADT schema derivation

Fix compilation of Recursive GADT schema derivation #429

Triggered via pull request July 31, 2023 11:34
@Jesse-BakkerJesse-Bakker
synchronize #561
Jesse-Bakker:fix-compile-gadt
Status Failure
Total duration 1m 40s
Artifacts –

site.yml

on: pull_request
Build and Test
1m 27s
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.