Skip to content

Merge branch 'master' into discovery-abstract #7

Merge branch 'master' into discovery-abstract

Merge branch 'master' into discovery-abstract #7

Triggered via push December 22, 2023 10:22
Status Success
Total duration 42s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in