Skip to content
CI

Change branch references to HEAD where possible or main otherwise #4236

Sign in to view logs

Change branch references to HEAD where possible or main otherwise

Change branch references to HEAD where possible or main otherwise #4236

Triggered via pull request May 15, 2023 15:09
@joshtriplettjoshtriplett
opened #3249
joshtriplett:switch-to-main
Status Success
Total duration 11m 55s
Artifacts –

main.yml

on: pull_request
Style check
21s
Style check
Matrix: Docker Linux Tier1
Matrix: macOS
Matrix: Windows
Fit to window
Zoom out
Zoom in