summaryrefslogtreecommitdiff
path: root/semaphoreci.sh
AgeCommit message (Collapse)Author
2019-07-20Make the tutorial to compile againEugen Wissner
- Remove generated documentation leaving only documentation sources. - Add CI job checking that the tutorial is up to date.
2019-07-04Update CI settingsEugen Wissner