@LarsAsplund, since keep-compiling is a built-in feature, we can enable it though the CLI argument, instead of adding it as a custom option. Hence, in this PR, -k is used when executing the run.py script, and the content is simplified accordingly.
At the same time, both CI workflows are merged and the versions of actions 'checkout' and 'setup-python' are updated.
umarcor
commented
1 year ago
Related to #14.
@LarsAsplund, since
keep-compilingis a built-in feature, we can enable it though the CLI argument, instead of adding it as a custom option. Hence, in this PR,-kis used when executing therun.pyscript, and the content is simplified accordingly.At the same time, both CI workflows are merged and the versions of actions 'checkout' and 'setup-python' are updated.