Skip to content
CI

Renaming idents, second stage: use proper renaming in scalc and Python #413

Sign in to view logs

Renaming idents, second stage: use proper renaming in scalc and Python

Renaming idents, second stage: use proper renaming in scalc and Python #413

Triggered via pull request August 28, 2024 16:03
@AltGrAltGr
synchronize #666
Status Failure
Total duration 4m 10s
Artifacts –

harness.yml

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