Skip to content

[maint] Merge main to feature branch #11358

[maint] Merge main to feature branch

[maint] Merge main to feature branch #11358

Triggered via pull request January 24, 2025 23:41
Status Success
Total duration 1m 17s
Artifacts

repo_checks.yml

on: pull_request
Filter files to check
31s
Filter files to check
Check links
1m 7s
Check links
Check license headers
50s
Check license headers
Check code formatting
22s
Check code formatting
Check spelling
16s
Check spelling
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Filter files to check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check license headers
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check spelling
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check code formatting
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check links
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636