Skip to content

Update default git branch name to main #70

Update default git branch name to main

Update default git branch name to main #70

Triggered via pull request December 14, 2023 22:17
@DO1JLRDO1JLR
opened #23
b
Status Success
Total duration 21s
Artifacts

yamllint.yaml

on: pull_request
Fit to window
Zoom out
Zoom in