| commit | e0a241cb5129227649a9619efcd1cab2f7e15a4c | [log] [tgz] |
|---|---|---|
| author | Tristan van Berkom <tristan.vanberkom@codethink.co.uk> | Wed Aug 11 14:40:02 2021 +0900 |
| committer | Tristan van Berkom <tristan.vanberkom@codethink.co.uk> | Wed Aug 25 17:56:20 2021 +0900 |
| tree | e646b67b96895a62afefc8a5f67edd466bd46904 | |
| parent | 1a574de6a0a9c337fb8d05be5a610cb8f9fd9c2c [diff] |
.github/run-ci.sh: Added script to run the github CI with docker locally. In case github CI is horribly broken, we can use this script to run the CI locally.