8 Commits

Author	SHA1	Message	Date
Régis Behmo	93688e18a1	ci: improve compatibility with main & nightly	2023-05-29 11:18:13 +02:00
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	4f8f0fe006	fix: remote sync	2021-07-05 10:26:18 +02:00
Régis Behmo	775a20b156	ci: fix sync with private repository	2021-06-14 08:16:40 +02:00
Régis Behmo	1b9334e37e	fix: sync with private repo in CI	2021-05-20 12:48:10 +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