-
Notifications
You must be signed in to change notification settings - Fork 71
reordered the actions, so clang-format and doxygen are run first #134
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
Conversation
0f591f8
to
2c9772c
Compare
According to this: actions/runner-images#675 (comment), all calls to |
I set prettier names for the individual steps |
This change reorders the actions so the least expensive and most failing actions are run first. On a typical run, doxygen and clang-format take each about 2s (plus 7s install), the complete building on all the supported platforms 10 minutes. In my experience, the most fails I get are from formatting and documentation errors, not from compilation problems. This gives the users a much faster feedback on needed changes in their commits and PRs and shaves off a lot of execution time.
I moved the changes in Here is a small snippet to batch patch, commit and push to github for many repos: for repo in repo1 repo2; do
pushd "$repo"
curl https://patch-diff.githubusercontent.com/raw/adafruit/ci-arduino/pull/134.patch | patch -p2 -u -F 10 --merge .github/workflows/githubci.yml
git add .github/workflows/githubci.yml
git commit -m "updated github workflow"
git push origin
popd
done |
thanks! |
This change reorders the actions so the least expensive and most failing actions are run first. On a typical run, doxygen and clang-format take each about 2s, the complete building on all the supported platforms 10 minutes. In my experience, the most fails I get are from formatting and documentation errors, not from compilation problems. This gives the users a much faster feedback on needed changes in their commits and PRs and shaves off a lot of execution time.
If you also consider accepting PR #135, this gives the user feedback on formatting and documentation in under 30s, compared to before after 13 minutes.
