Skip to content
CI

Implement safe renaming of idents for backend printing #405

Sign in to view logs

Implement safe renaming of idents for backend printing

Implement safe renaming of idents for backend printing #405

Triggered via pull request August 28, 2024 12:00
@AltGrAltGr
synchronize #664
Status Cancelled
Total duration 15m 54s
Artifacts –

harness.yml

on: pull_request_target
Build Catala and generate image
10m 4s
Build Catala and generate image
Build static binaries
0s
Build static binaries
Run integrated tests
0s
Run integrated tests
Build examples and generate artifacts
0s
Build examples and generate artifacts
Publish static content to github-pages
0s
Publish static content to github-pages
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build examples and generate artifacts
The run was canceled by @AltGr.
Run integrated tests
The run was canceled by @AltGr.