aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/ci.yml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Limit CI jobs runtime to 30 minutesSven-Hendrik Haase2021-08-291-0/+1
|
* Revert "Run CI on push only"Sven-Hendrik Haase2021-08-291-1/+1
| | | | This reverts commit 194b11ac055be7e2bad214646bd6e65cb8cf11b1.
* Run CI on push onlySven-Hendrik Haase2021-08-291-1/+1
| | | | Having it run on pull_request too was just duplicated work.
* Now compiles on stableSven-Hendrik Haase2020-11-081-1/+1
|
* Remove duplicated identifiersSven-Hendrik Haase2020-08-241-1/+1
|
* Switch to GitHub Actions (#344)Sven-Hendrik Haase2020-07-201-0/+46
* Switch to GitHub Actions * Switch CI badge to GitHub Actions flow * Only run on nightly for now