Skip to content
CI

Fix included_dirs bug when a trailing dir separator is present (#920) #48

Sign in to view logs

Fix included_dirs bug when a trailing dir separator is present (#920)

Fix included_dirs bug when a trailing dir separator is present (#920) #48

Triggered via push December 12, 2025 14:06
@vincent-botbolvincent-botbol
pushed d4943de
master
Status Success
Total duration 26m 29s
Artifacts 2

ci.yml

on: push
Build Catala and generate CI Docker image
6m 17s
Build Catala and generate CI Docker image
Run integrated tests
12m 36s
Run integrated tests
Build catala-examples and generate artifacts
11m 38s
Build catala-examples and generate artifacts
Build and test the language server
7m 29s
Build and test the language server
Build Catala on Windows
19m 41s
Build Catala on Windows
Publish static content to github-pages
31s
Publish static content to github-pages
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build Catala on Windows
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
Catala examples
1.02 MB
sha256:b18e6ecac9e71a1ea7136476aee9f02f46fdbe0a6a257d26df98e3177f092ce1
github-pages Expired
884 KB
sha256:8541441e3149860a3762012ddb43dcf1946d94d1d39bb668b7ab5b1ec4f3c957