Skip to content
CI

Add type variables and quantifiers to the AST #569

Sign in to view logs

Add type variables and quantifiers to the AST

Add type variables and quantifiers to the AST #569

Triggered via pull request January 20, 2025 14:01
@AltGrAltGr
opened #775
Status Failure
Total duration 3m 50s
Artifacts –

harness.yml

on: pull_request_target
Build Catala and generate image
3m 36s
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