Skip to content

Merge remote-tracking branch 'origin/develop' into release #1282

Merge remote-tracking branch 'origin/develop' into release

Merge remote-tracking branch 'origin/develop' into release #1282

Triggered via push September 30, 2023 13:53
Status Success
Total duration 30s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: push
check-shellcheck
21s
check-shellcheck
check-shfmt
6s
check-shfmt
verify-query-packages
9s
verify-query-packages
verify-query-packages-macos
14s
verify-query-packages-macos
verify-query-packages-jenkins
16s
verify-query-packages-jenkins
Fit to window
Zoom out
Zoom in