Age | Commit message (Expand) | Author |
---|---|---|
2023-12-21 | Changed CI to just run on ubuntu-latestci-ubuntu-latest | Christopher Haster |
2022-12-07 | Added a bot-generated PR-comment with a simple status table | Christopher Haster |
2022-12-07 | Adopted script changes in GitHub Actions | Christopher Haster |
2022-03-20 | Added new scripts to CI results | Christopher Haster |
2021-01-10 | Added post-release script, cleaned up workflows | Christopher Haster |
2021-01-10 | Brought over the release workflow | Christopher Haster |
2021-01-10 | Added BUILDDIR, a bit of script reworking | Christopher Haster |
2021-01-10 | Added GitHub workflows to run tests | Christopher Haster |