2024-08-01
Johannes Schauer Marin Rodrigues
@josch
14e545bd
·
move build script to dedicated script that can be run outside of gitlab CI
·
Aug 01, 2024
Unverified
2024-08-01
