Skip to content

Merge pull request #212 from gerlero/install_names #746

Merge pull request #212 from gerlero/install_names

Merge pull request #212 from gerlero/install_names #746

Re-run triggered December 24, 2023 18:36
Status Success
Total duration 9m 59s
Artifacts 2

ci.yml

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