Skip to content
CI

Rewire JSOO pipeline and add online playground #166

Sign in to view logs

Rewire JSOO pipeline and add online playground

Rewire JSOO pipeline and add online playground #166

Triggered via pull request January 29, 2026 14:21
@rprimetrprimet
synchronize #952
Status Success
Total duration 28m 9s
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
14m 0s
Run integrated tests
Build catala-examples and generate artifacts
10m 5s
Build catala-examples and generate artifacts
Build and test the language server
11m 23s
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:822288df44de0dd3d2e552299e469bc325649784592478c2f5ae311012a2de6a