Skip to content

Merge branch 'dev' into softs #599

Merge branch 'dev' into softs

Merge branch 'dev' into softs #599

Triggered via push November 6, 2024 10:24
Status Success
Total duration 58s
Artifacts
style-type-checks
48s
style-type-checks
Fit to window
Zoom out
Zoom in

Annotations

1 warning
style-type-checks
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, extractions/setup-just@v1, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/