Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 8 additions & 11 deletions .github/actions/setup-build/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -270,13 +270,20 @@ runs:
echo "CONFIG_ARGS=$args" >>"$GITHUB_ENV"
fi

# Fix dubious ownership in containers for Git operations.
# See: https://github.com/actions/runner/issues/2033#issuecomment-1204205989

if $feat_container; then
chown -R "$(id -u):$(id -g)" "$PWD"
fi

# Determine DISTNAME if possible.

if [ -f ./scripts/git-version-gen.sh ] && command -v git >/dev/null 2>&1; then
echo "DISTNAME=form-$(./scripts/git-version-gen.sh -r | sed '2q;d' | sed 's/^v//')" >>"$GITHUB_ENV"
fi

# Get cache key for the image ###
# Get cache key for the image.

# See: https://github.com/actions/upload-artifact/issues/231
echo "image_key=$ImageOS-$ImageVersion" >>"$GITHUB_OUTPUT"
Expand Down Expand Up @@ -585,16 +592,6 @@ runs:
shell: ${{ steps.setup.outputs.msys2 == 'true' && 'msys2 {0}' || 'bash' }}
run: cp formlib/hyperform.frm check/extra/

# Fix dubious ownership in containers for Git operations.
# See: https://github.com/actions/runner/issues/2033#issuecomment-1204205989
- name: Fix dubious ownership
if: steps.setup.outputs.container == 'true'
shell: bash
run: |
### Fix dubious ownership

chown -R $(id -u):$(id -g) $PWD

- name: Uncompress tarball
if: steps.setup.outputs.untar == 'true'
shell: ${{ steps.setup.outputs.msys2 == 'true' && 'msys2 {0}' || 'bash' }}
Expand Down
20 changes: 16 additions & 4 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -249,15 +249,27 @@ jobs:
- {bin: tform}
- {bin: tform, nthreads: 2}
steps:
# We have to use v1.
# See https://github.com/actions/checkout/issues/334
# 32-bit containers lack the amd64 libstdc++ runtime library needed by
# the runner-provided Node.js runtime.
# See: https://github.com/EliahKagan/gitoxide/pull/5
#
# Install Git so that actions/checkout can create a local Git repository
# instead of downloading the files through the GitHub REST API.
- name: Prerequisites for 32-bit containers
run: |
dpkg --add-architecture amd64
apt-get update
apt-get install --no-install-recommends -y ca-certificates git libstdc++6:amd64

- name: Checkout repository
uses: actions/checkout@v1
uses: actions/checkout@v6
with:
fetch-depth: 0 # ensures a reachable tag

- name: Set up build
uses: ./.github/actions/setup-build
with:
features: ${{ matrix.bin }} noflint # actions/cache@v4 doesn't work
features: ${{ matrix.bin }} noflint # The FLINT interface currently assumes a 64-bit environment.

- name: Build
run: make -C sources -j 4 ${{ matrix.bin }}
Expand Down
Loading