Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2020-08-24 | Remove duplicated identifiers | Sven-Hendrik Haase | 1 | -1/+1 | |
2020-07-20 | Switch to GitHub Actions (#344) | Sven-Hendrik Haase | 1 | -0/+46 | |
* Switch to GitHub Actions * Switch CI badge to GitHub Actions flow * Only run on nightly for now |