Skip to content

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

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

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

Triggered via pull request August 8, 2024 14:32
@AltGrAltGr
synchronize #666
Status Failure
Total duration 28m 9s
Artifacts

harness.yml

on: pull_request_target
Build Catala and generate image
9m 19s
Build Catala and generate image
Build static binaries
0s
Build static binaries
Run integrated tests
3m 1s
Run integrated tests
Build examples and generate artifacts
18m 29s
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 examples and generate artifacts
Process completed with exit code 2.