Skip to content
CI

Allow Catala files with a .md suffix #33

Sign in to view logs

Allow Catala files with a .md suffix

Allow Catala files with a .md suffix #33

Triggered via pull request December 3, 2025 16:47
@vincent-botbolvincent-botbol
synchronize #916
Status Success
Total duration 25m 4s
Artifacts 1

ci.yml

on: pull_request_target
Build Catala and generate CI Docker image
6m 31s
Build Catala and generate CI Docker image
Run integrated tests
12m 23s
Run integrated tests
Build catala-examples and generate artifacts
10m 45s
Build catala-examples and generate artifacts
Build and test the language server
7m 34s
Build and test the language server
Build Catala on Windows
0s
Build Catala on Windows
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 Digest
Catala examples
1.02 MB
sha256:3890ce9b1524bd0f33be908069bd5b1f339e53853f4948120ab372d4af904bb9