Commit ce9ac45
committed
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 build1 file changed
+7
-15
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
| 17 | + | |
| 18 | + | |
17 | 19 | | |
18 | 20 | | |
19 | 21 | | |
20 | 22 | | |
21 | | - | |
22 | | - | |
23 | | - | |
24 | | - | |
25 | | - | |
26 | 23 | | |
27 | 24 | | |
28 | 25 | | |
29 | | - | |
30 | | - | |
| 26 | + | |
| 27 | + | |
31 | 28 | | |
32 | | - | |
33 | | - | |
34 | | - | |
35 | | - | |
36 | | - | |
37 | | - | |
38 | | - | |
| 29 | + | |
| 30 | + | |
39 | 31 | | |
40 | | - | |
| 32 | + | |
41 | 33 | | |
42 | 34 | | |
43 | 35 | | |
| |||
0 commit comments