Add a conversion operator from decimal to integer #518

Sign in to view logs

Triggered via pull request November 8, 2024 13:24

AltGr

opened #746

Status Success

Total duration 1h 40m 11s

Artifacts 1

harness.yml

on: pull_request_target

Build Catala and generate image

Build static binaries

Run integrated tests

Build examples and generate artifacts

Publish static content to github-pages

Artifacts

Produced during runtime

Name	Size
Catala examples	2.55 MB