about summary refs log tree commit diff
path: root/src/ci/exec-with-shell.py
AgeCommit message (Expand)AuthorLines
2020-07-17ci: Replace exec-with-shell wrapper with "plain bash"Kristofer Rye-16/+0
2020-03-24ci: add github actions configurationPietro Albini-0/+16