Skip to content

github: adjust push target branch name #16

github: adjust push target branch name

github: adjust push target branch name #16

Triggered via pull request September 13, 2023 12:36
Status Success
Total duration 38s
Artifacts

pr.yml

on: pull_request
Gitlint
13s
Gitlint
Trailing Whitespace
3s
Trailing Whitespace
Portable Shell
6s
Portable Shell
Style
26s
Style
Fit to window
Zoom out
Zoom in