File tree 2 files changed +5
-0
lines changed
2 files changed +5
-0
lines changed Original file line number Diff line number Diff line change @@ -120,6 +120,8 @@ jobs:
120
120
121
121
check_generated_files :
122
122
name : ' Check if generated files are up to date'
123
+ # Don't use ubuntu-latest but a specific version to make the job
124
+ # reproducible: to get the same tools versions (autoconf, aclocal, ...)
123
125
runs-on : ubuntu-22.04
124
126
timeout-minutes : 60
125
127
needs : check_source
@@ -151,6 +153,7 @@ jobs:
151
153
# Build Python with the libpython dynamic library
152
154
./configure --config-cache --with-pydebug --enable-shared
153
155
- name : Regenerate autoconf files
156
+ # Same command used by Tools/build/regen-configure.sh ($AUTORECONF)
154
157
run : autoreconf -ivf -Werror
155
158
- name : Build CPython
156
159
run : |
Original file line number Diff line number Diff line change 2
2
3
3
set -e -x
4
4
5
+ # The check_generated_files job of .github/workflows/build.yml must kept in
6
+ # sync with this script.
5
7
IMAGE=" ubuntu:22.04"
6
8
DEPENDENCIES=" autotools-dev autoconf autoconf-archive pkg-config"
7
9
AUTORECONF=" autoreconf -ivf -Werror"
You can’t perform that action at this time.
0 commit comments