Skip to content

Merge pull request #5 #37

Merge pull request #5

Merge pull request #5 #37

Triggered via push January 21, 2024 17:32
Status Success
Total duration 10m 45s
Artifacts

presubmit.yml

on: push
Check code formatting
11s
Check code formatting
Fit to window
Zoom out
Zoom in