Skip to content

workflows/docs: enable merge queue/group jobs. #841

workflows/docs: enable merge queue/group jobs.

workflows/docs: enable merge queue/group jobs. #841

Triggered via pull request December 6, 2024 17:37
Status Success
Total duration 1m 3s
Artifacts 1

actionlint.yml

on: pull_request
workflow_syntax
28s
workflow_syntax
upload_sarif
17s
upload_sarif
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
workflow_syntax
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
upload_sarif
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
results.sarif
375 Bytes