Skip to content

Merge remote-tracking branch 'origin/main' into hash_agg_spike2 #1921

Merge remote-tracking branch 'origin/main' into hash_agg_spike2

Merge remote-tracking branch 'origin/main' into hash_agg_spike2 #1921

Triggered via push July 5, 2023 08:26
Status Success
Total duration 27s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

dev.yml

on: push
Release Audit Tool (RAT)
7s
Release Audit Tool (RAT)
Use prettier to check formatting of documents
18s
Use prettier to check formatting of documents
Fit to window
Zoom out
Zoom in