Skip to content

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

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

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

Triggered via push July 18, 2023 15:07
Status Success
Total duration 36s
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
26s
check-shellcheck
check-shfmt
4s
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