Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Limit CI jobs runtime to 30 minutes | Sven-Hendrik Haase | 2021-08-29 | 1 | -0/+1 |
* | Revert "Run CI on push only" | Sven-Hendrik Haase | 2021-08-29 | 1 | -1/+1 |
* | Run CI on push only | Sven-Hendrik Haase | 2021-08-29 | 1 | -1/+1 |
* | Now compiles on stable | Sven-Hendrik Haase | 2020-11-08 | 1 | -1/+1 |
* | Remove duplicated identifiers | Sven-Hendrik Haase | 2020-08-24 | 1 | -1/+1 |
* | Switch to GitHub Actions (#344) | Sven-Hendrik Haase | 2020-07-20 | 1 | -0/+46 |