Skip to content

Merge branch 'dev' into vufind-1233 #1751

Merge branch 'dev' into vufind-1233

Merge branch 'dev' into vufind-1233 #1751

Triggered via push December 15, 2023 16:07
Status Success
Total duration 9m 0s
Artifacts

ci.yaml

on: push
Matrix: run-tests
Fit to window
Zoom out
Zoom in