Skip to content

Merge branch 'github-pull-118' #178

Merge branch 'github-pull-118'

Merge branch 'github-pull-118' #178

Triggered via push June 23, 2024 11:52
Status Success
Total duration 2m 48s
Artifacts

ci.yml

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