add Github CI

This commit is contained in:
rpljwi
2020-09-05 19:38:10 +03:00
committed by still-flow
parent 07b1eaeda5
commit 85b9debde2
4 changed files with 161 additions and 0 deletions
+5
View File
@@ -0,0 +1,5 @@
set -e o pipefail
source .github/workflows/gh_ci_envvars.sh
./hyperrogue --version