Skip to content

github workflow: remove unneeded steps & clean #62

github workflow: remove unneeded steps & clean

github workflow: remove unneeded steps & clean #62

Triggered via pull request January 13, 2024 16:04
@rjodinchrrjodinchr
synchronize #11
dev
Status Success
Total duration 14m 53s
Artifacts

presubmit.yml

on: pull_request
Check code formatting
13s
Check code formatting
Fit to window
Zoom out
Zoom in