Skip to content
CI

Rewire JSOO pipeline and add online playground #168

Sign in to view logs

Rewire JSOO pipeline and add online playground

Rewire JSOO pipeline and add online playground #168

Triggered via pull request January 30, 2026 09:49
@rprimetrprimet
synchronize #952
Status Success
Total duration 25m 3s
Artifacts 1

ci.yml

on: pull_request_target
Build Catala and generate CI Docker image
6m 0s
Build Catala and generate CI Docker image
Run integrated tests
13m 3s
Run integrated tests
Build catala-examples and generate artifacts
10m 24s
Build catala-examples and generate artifacts
Build and test the language server
8m 30s
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.04 MB
sha256:5e8cfb6fbde7f6ccfba5e99eced229e5f11d34fd3579e9aba866f47fc986e05c