about summary refs log tree commit diff
path: root/src/ci/scripts/run-build-from-ci.sh
AgeCommit message (Expand)AuthorLines
2019-11-12ci: extract running the build into a scriptPietro Albini-0/+21
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 16:03:17 +0000