Skip to content

github-ci: suppress author names; cancel earlier builds - v1 #1559

github-ci: suppress author names; cancel earlier builds - v1

github-ci: suppress author names; cancel earlier builds - v1 #1559

Triggered via pull request November 16, 2023 13:51
Status Success
Total duration 28m 8s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

scan-build.yml

on: pull_request
Fit to window
Zoom out
Zoom in