tree e646b67b96895a62afefc8a5f67edd466bd46904
parent 1a574de6a0a9c337fb8d05be5a610cb8f9fd9c2c
author Tristan van Berkom <tristan.vanberkom@codethink.co.uk> 1628660402 +0900
committer Tristan van Berkom <tristan.vanberkom@codethink.co.uk> 1629881780 +0900

.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.