We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
PETRIC/.github/workflows/run.yml
Line 36 in e549237
The text was updated successfully, but these errors were encountered:
we need this line to overwrite any users' changes as per the README
Any modifications to petric.py are ignored.
petric.py
Yes, all submission repos are a fork of this one, so they all use this run.yml.
run.yml
We could de-sync forks from this repo (have different run.yml), but I'd rather not (it might confuse participants).
Sorry, something went wrong.
KrisThielemans
casperdcl
Successfully merging a pull request may close this issue.
PETRIC/.github/workflows/run.yml
Line 36 in e549237
The text was updated successfully, but these errors were encountered: