Skip to content

Merge branch 'github-pull-119' #182

Merge branch 'github-pull-119'

Merge branch 'github-pull-119' #182

Triggered via push August 19, 2024 10:52
Status Success
Total duration 3m 0s
Artifacts

ci.yml

on: push
Check commits
6s
Check commits
Matrix: build_job
Fit to window
Zoom out
Zoom in