Skip to content

Merge remote-tracking branch 'origin/main' into future-paper-2 #441

Merge remote-tracking branch 'origin/main' into future-paper-2

Merge remote-tracking branch 'origin/main' into future-paper-2 #441

Triggered via push November 14, 2024 01:56
Status Success
Total duration 17s
Artifacts

style.yml

on: push
Run linters
9s
Run linters
Check for License headers
7s
Check for License headers
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Run linters
The following actions use a deprecated Node.js version and will be forced to run on node20: wearerequired/lint-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/