First run on the ifc runner failed both jobs at exit 127 with
"shopt: not found". The runner executes a `run:` block with /bin/sh
(dash) unless the step says otherwise, where GitHub defaults to bash --
so `shopt -s globstar` died before either script reached a file.
Setting `shell: bash` explicitly is the fix. The `[[ ]]` tests and the
array handling in ids-lint need it too, so this is load-bearing rather
than tidiness.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01T93BEAfP4jvcYo7oMo5AL1
The GitHub workflows could never run here: they ask for runs-on:
ubuntu-latest, which no runner on hub.postle.net offers, so all 8 runs
so far were cancelled. Moved to .forgejo/workflows and pointed at the
`ifc` runner, which serves the pinned ifc-ci image.
The setup steps are gone because the image already contains
ifcopenshell, ifctester, idssplit and pytest, so a run no longer spends
most of its time in setup-python and `pip install ifcopenshell`.
Both bodies are otherwise unchanged apart from skipping libraries/,
which holds vendored component sources rather than deliverable models.
Verified in the ifc-ci container against this model before pushing:
both checks pass, and both were shown to fail when they should --
a corrupted GlobalId exits non-zero, and an IDS rule applying to all 32
windows reports [FAIL] (0/32) and exits 1. That second check matters
because ifctester's CLI never sets an exit code, so the grep for
[FAIL] is what makes the check capable of failing at all.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01T93BEAfP4jvcYo7oMo5AL1
