Skip to content

Merge branch 'vufind-org:dev' into dev #375

Merge branch 'vufind-org:dev' into dev

Merge branch 'vufind-org:dev' into dev #375

Triggered via push August 7, 2023 07:50
Status Success
Total duration 3m 38s
Artifacts

ci.yaml

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