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