Skip to content

Merge branch 'devel' #10

Merge branch 'devel'

Merge branch 'devel' #10

Triggered via push November 5, 2023 12:00
Status Success
Total duration 26m 2s
Artifacts

ci.yml

on: push
Matrix: MacOS CI
Matrix: Linux CI
Fit to window
Zoom out
Zoom in