Skip to content

Add type variables and quantifiers to the AST #578

Add type variables and quantifiers to the AST

Add type variables and quantifiers to the AST #578

Triggered via pull request January 23, 2025 16:06
@AltGrAltGr
synchronize #775
Status Failure
Total duration 3m 0s
Artifacts

harness.yml

on: pull_request_target
Build Catala and generate image
2m 47s
Build Catala and generate image
Build static binaries
0s
Build static binaries
Run integrated tests
0s
Run integrated tests
Build examples and generate artifacts
0s
Build examples and generate artifacts
Publish static content to github-pages
0s
Publish static content to github-pages
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build Catala and generate image
buildx failed with: ERROR: failed to solve: process "/bin/sh -c opam exec -- make build js_build" did not complete successfully: exit code: 2