You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The script ci-check which in turn calls some other scripts runs for every exercise that was changed in a PR. That means e.g. for PRs that include some files being synced for all exercises, the script runs for all exercises. As far as I could see, this consistently takes 10-15min when run as part of the GitHub Actions.
This is a bit annoying when a maintainer wants to get something done quickly so maybe someone has an idea what could be done to improve the performance.
The text was updated successfully, but these errors were encountered:
The script ci-check which in turn calls some other scripts runs for every exercise that was changed in a PR. That means e.g. for PRs that include some files being synced for all exercises, the script runs for all exercises. As far as I could see, this consistently takes 10-15min when run as part of the GitHub Actions.
Examples:
This is a bit annoying when a maintainer wants to get something done quickly so maybe someone has an idea what could be done to improve the performance.
The text was updated successfully, but these errors were encountered: