Commit ff5b7b4
Enable caching when building CentOS container (#656)
Fixes #649
Move the Linux CI build container setup from inline docker exec commands
into a dedicated Dockerfile (`.github/ci-build/Dockerfile`) and use
`docker/build-push-action` with GitHub Actions cache (`type=gha`) to
cache the Docker image layers. This avoids reinstalling the toolchain
(`devtoolset`, `bison`, `ninja`, etc.) on every CI run, speeding up the
Linux build steps.
---------
Co-authored-by: Adam Reeve <adam.reeve@gr-oss.io>1 parent 82991cb commit ff5b7b4
2 files changed
Lines changed: 42 additions & 10 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
111 | 111 | | |
112 | 112 | | |
113 | 113 | | |
114 | | - | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
115 | 130 | | |
116 | | - | |
117 | | - | |
118 | 131 | | |
119 | 132 | | |
120 | | - | |
121 | | - | |
122 | | - | |
123 | | - | |
124 | | - | |
125 | | - | |
126 | | - | |
| 133 | + | |
| 134 | + | |
127 | 135 | | |
128 | 136 | | |
129 | 137 | | |
| |||
0 commit comments