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
minor #13094 GitHub Actions: use docker image for CI build (bendavies)
This PR was submitted for the master branch but it was merged into the 4.4 branch instead.
Discussion
----------
GitHub Actions: use docker image for CI build
This is an enhancement to #13061
I think it's beneficial to use docker when possible, which allows contributors to exactly replicate CI conditions.
This PR introduces a local action to do just that.
cc @OskarStark
Commits
-------
e059c5b GitHub Actions: use docker container for CI build
0 commit comments