Christopher Haster
|
2cdabe810d
Split out scripts/code.py into scripts/code.py and scripts/data.py
|
3 年之前 |
Christopher Haster
|
b045436c23
Added size-sort options to scripts/code.py
|
3 年之前 |
Christopher Haster
|
9d6546071b
Fixed a recompilation issue in CI, tweaked coverage.py a bit more
|
5 年之前 |
Christopher Haster
|
b84fb6bcc5
Added BUILDDIR, a bit of script reworking
|
5 年之前 |
Christopher Haster
|
b2235e956d
Added GitHub workflows to run tests
|
5 年之前 |