Skip to content

Merge pull request #502 from jsberg-bnl/user-dist_prefs #20

Merge pull request #502 from jsberg-bnl/user-dist_prefs

Merge pull request #502 from jsberg-bnl/user-dist_prefs #20

Triggered via push September 21, 2023 15:20
Status Success
Total duration 27m 2s
Artifacts

ci.yml

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