Skip to content

Capitalize CI job names and rename gate job to merge_ready

722e49e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Capitalize CI job names and rename gate job to merge_ready #175

Capitalize CI job names and rename gate job to merge_ready
722e49e
Select commit
Loading
Failed to load commit list.