Add -d, --dir option to install to <prefix>/<definition> instead of <prefix> #1066

Sign in to view logs

Triggered via pull request September 23, 2024 12:07

eregon

synchronize #2447

eregon:dir-option

Status Success

Total duration 46s

Artifacts –

ci.yml

on: pull_request

Matrix: test