Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI runs with petric.py from main #118

Closed
KrisThielemans opened this issue Sep 29, 2024 · 1 comment · May be fixed by #119
Closed

CI runs with petric.py from main #118

KrisThielemans opened this issue Sep 29, 2024 · 1 comment · May be fixed by #119
Assignees
Labels
wontfix This will not be worked on

Comments

@KrisThielemans
Copy link
Member

curl -fsSL https://raw.githubusercontent.com/SyneRBI/PETRIC/main/petric.py > petric.py

@KrisThielemans KrisThielemans self-assigned this Sep 29, 2024
@KrisThielemans KrisThielemans linked a pull request Sep 29, 2024 that will close this issue
@KrisThielemans KrisThielemans removed a link to a pull request Sep 29, 2024
@casperdcl casperdcl self-assigned this Sep 30, 2024
@casperdcl casperdcl added the wontfix This will not be worked on label Sep 30, 2024
@casperdcl
Copy link
Member

casperdcl commented Sep 30, 2024

we need this line to overwrite any users' changes as per the README

Any modifications to petric.py are ignored.

Yes, all submission repos are a fork of this one, so they all use this run.yml.

  • pro: we all use the same petric.py
  • con: it's impossible for organisers to test changes to petric.py in CI
    • I've had to manually test any change(s)

We could de-sync forks from this repo (have different run.yml), but I'd rather not (it might confuse participants).

@casperdcl casperdcl closed this as not planned Won't fix, can't repro, duplicate, stale Sep 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
wontfix This will not be worked on
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants