about summary refs log tree commit diff
path: root/src/ci/exec-with-shell.py
AgeCommit message (Expand)AuthorLines
2020-03-24ci: add github actions configurationPietro Albini-0/+16
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 04:00:56 +0000