Skip to content

Merge branch 'main' into profiling #567

Merge branch 'main' into profiling

Merge branch 'main' into profiling #567

Triggered via push September 21, 2024 15:52
Status Success
Total duration 2m 42s
Artifacts

main.yml

on: push
Linting
10s
Linting
Spell Check
8s
Spell Check
Find merge conflicts
3s
Find merge conflicts
Test Javadocs Generation
2m 35s
Test Javadocs Generation
Build
2m 33s
Build
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Find merge conflicts
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Spell Check
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Linting
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Test Javadocs Generation
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/