 Christopher Haster
|
a659c02bbd
Added a bot-generated PR-comment with a simple status table
|
3 jaren geleden |
|
Christopher Haster
|
65923cdfb4
Adopted script changes in GitHub Actions
|
3 jaren geleden |
 Christopher Haster
|
9d54603ce2
Added new scripts to CI results
|
3 jaren geleden |
|
Christopher Haster
|
b045436c23
Added size-sort options to scripts/code.py
|
3 jaren geleden |
|
Christopher Haster
|
bca64d76cf
Merge branch 'devel' into ci-revamp
|
4 jaren geleden |
|
Christopher Haster
|
c9110617b3
Added post-release script, cleaned up workflows
|
5 jaren geleden |
|
Christopher Haster
|
6d3e4ac33e
Brought over the release workflow
|
5 jaren geleden |
