coq-core < 8.19.2 is not compatible with the effect syntax #1315
Triggered via pull request
September 12, 2024 12:56
kit-ty-kate
Status
Failure
Total duration
5m 50s
Artifacts
–
Annotations
1 error
|
build (windows-latest)
Process completed with exit code 1.
|