Age | Commit message (Expand) | Author |
---|---|---|
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 |
2022-03-11 | Added size-sort options to scripts/code.py | Christopher Haster |
2021-01-18 | Merge branch 'devel' into ci-revamp | Christopher Haster |
2021-01-10 | Added post-release script, cleaned up workflows | Christopher Haster |
2021-01-10 | Brought over the release workflow | Christopher Haster |