Skip to content

Merge branch 'main' into fix/workflow-paths-and-deed #296

Merge branch 'main' into fix/workflow-paths-and-deed

Merge branch 'main' into fix/workflow-paths-and-deed #296

Triggered via push October 1, 2026 19:55
Status Success
Total duration 15m 13s
Artifacts –
Startup probe
3s
Startup probe
Escript packaging soundness
1m 2s
Escript packaging soundness
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Startup probe
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Escript packaging soundness
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"