Skip to content

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

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

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

Triggered via push September 26, 2023 13:05
Status Success
Total duration 32s
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
17s
check-shellcheck
check-shfmt
5s
check-shfmt
verify-query-packages
8s
verify-query-packages
verify-query-packages-macos
16s
verify-query-packages-macos
verify-query-packages-jenkins
16s
verify-query-packages-jenkins
Fit to window
Zoom out
Zoom in