@@ -37,7 +37,7 @@ inputs:
3737 description : ' make bootstrap-pkg-? (i.e. full/minimal)'
3838 required : false
3939 default : ' REMOVED'
40-
40+
4141runs :
4242 using : " composite"
4343 steps :
7474 echo "::error::Please see 'https://github.com/gap-actions/setup-gap/blob/main/README.md' for further information."
7575 exit 1
7676 fi
77-
77+
7878 - name : " Install dependencies"
7979 shell : bash
8080 if : ${{ runner.os != 'Windows' }}
@@ -132,7 +132,7 @@ runs:
132132 echo "Version: exact tag match"
133133 VERSION=${{ inputs.gap-version }}
134134 else
135- echo "No release, branch or tag with name ${{ inputs.gap-version }} found"
135+ echo "::error:: No release, branch or tag with name ${{ inputs.gap-version }} found"
136136 exit 1
137137 fi
138138 fi
@@ -165,7 +165,7 @@ runs:
165165 CHK=${CHK#\\}
166166 # Compare checksums
167167 if [[ "$SHA" != "$CHK" ]] ; then
168- echo "Checksum is wrong!"
168+ echo "::error:: Checksum is wrong!"
169169 exit 1
170170 fi
171171 # Extract archive
@@ -180,7 +180,7 @@ runs:
180180 run : |
181181 cd $GAPROOT
182182 CONFIGFLAGS="${{ inputs.configflags }}"
183-
183+
184184 if [ -f "autogen.sh" ] ; then
185185 echo "::group:: Running autogen"
186186 ./autogen.sh
@@ -194,7 +194,7 @@ runs:
194194 ./configure $CONFIGFLAGS
195195
196196 echo "::group:: Running make"
197- make -j4 V=1
197+ make -j$(nproc) V=1
198198
199199 - name : " Make GAP executable"
200200 shell : bash
0 commit comments