-
Notifications
You must be signed in to change notification settings - Fork 90
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: Test on several Bazel and Ubuntu versions. #521
base: main
Are you sure you want to change the base?
Conversation
2b388bf
to
876ea89
Compare
Also makes some improvements to the CI script taken from https://github.com/google/netkat. They will allow us to make better use of the cache while avoiding hitting GitHub's cache limits. Signed-off-by: Steffen Smolka <[email protected]>
This is now ready for review, @jonathan-dilorenzo and @chrispsommers. |
strategy: | ||
matrix: | ||
# We only test on the oldest version we want to support and latest. | ||
# We trust that things also work for versions in the middle. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That's brave ;)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
A lot less brave than what we have today, which is to only test a single version.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks fine to me, but I don't know these github workflows very well, but I assume that it would run in the automated check done on this PR, so given that it passes...
FYI: Since this is changing the name of some checks, we need to bypass branch protections to submit and/or update our branch protections rules (probably afterwards). |
Also makes some improvements to the CI script taken from https://github.com/google/netkat.
They will allow us to make better use of the cache while avoiding hitting GitHub's cache limits.