diff options
author | gumi <git@gumi.ca> | 2020-07-16 13:13:46 +0000 |
---|---|---|
committer | gumi <git@gumi.ca> | 2020-07-16 13:13:46 +0000 |
commit | 80fd4fc47969a1a5564a6892b5adb577ba920a3c (patch) | |
tree | 6b25c7386bbc3d8b9b5fb70a1249609c6d50cb06 /db | |
parent | a3ef203ba23566551922496b11708b56676130e8 (diff) | |
parent | 28c10e277964230b5bb37cf531eb3fe3a800e1c3 (diff) | |
download | serverdata-80fd4fc47969a1a5564a6892b5adb577ba920a3c.tar.gz serverdata-80fd4fc47969a1a5564a6892b5adb577ba920a3c.tar.bz2 serverdata-80fd4fc47969a1a5564a6892b5adb577ba920a3c.tar.xz serverdata-80fd4fc47969a1a5564a6892b5adb577ba920a3c.zip |
Merge branch 'ci' into 'master'
simplify the ci pipeline to the bare minimum
Closes evol-hercules#8
See merge request evol/serverdata!251
Diffstat (limited to 'db')
0 files changed, 0 insertions, 0 deletions