summary refs log tree commit diff
path: root/src/ci/exec-with-shell.py
AgeCommit message (Expand)AuthorLines
2020-07-22Rollup merge of #74418 - rye:gha-dedup-shell-setting, r=pietroalbiniManish Goregaokar-16/+0
2020-03-24ci: add github actions configurationPietro Albini-0/+16