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