Skip to content

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

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

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

Triggered via pull request August 8, 2024 12:12
@AltGrAltGr
opened #666
Status Success
Total duration 30m 28s
Artifacts 1

harness.yml

on: pull_request_target
Build Catala and generate image
10m 18s
Build Catala and generate image
Build static binaries
0s
Build static binaries
Run integrated tests
3m 0s
Run integrated tests
Build examples and generate artifacts
19m 50s
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

Artifacts

Produced during runtime
Name Size
Catala examples Expired
2.61 MB