5 Commits

Author	SHA1	Message	Date
Régis Behmo	31df4da136	ci: upgrade outdated v2 github actions	2022-11-29 15:50:22 +01:00
Régis Behmo	33ca30d6c3	goodbye "edge" hello "nightly"! ... In conversations with edX, we learned that the name "edge" had negative undertones for historical reasons. Thus, we switch to "nightly", which means pretty much the same thing.	2021-10-14 12:59:57 +02:00
Régis Behmo	4dd0fb6d8a	ci: run github workflows on edge branch ... The test and sync workflows are run both on the master and the edge branches.	2021-10-14 12:59:57 +02:00
Régis Behmo	2f24a40d99	docs: build docs in CI (and be nitpicky about it) ... This ensures that any warning generated from compiling the docs is treated as an error. Also, building the docs is now one of the steps performed in CI.	2021-10-14 12:59:57 +02:00
Régis Behmo	6af6390fb1	refactor: migrate from Travis.ci to GitHub Actions ... GitHub Actions now performs the following tasks: - run tests on every PR - sync with git.overhang.io on push - build binary releases on tags Travis.CI was completely removed from this repo.	2021-05-17 21:29:52 +02:00