Skip to content

ci: make the arm orlyc repro dispatch-only, and say what it is for - #558

Merged
ohohoreilly merged 1 commit into
masterfrom
ohohoreilly/556-repro-dispatch-only
Sep 17, 2026
Merged

ohohoreilly merged 1 commit into
masterfrom
ohohoreilly/556-repro-dispatch-only

Conversation

@ohohoreilly

Copy link
Copy Markdown
Member

Housekeeping for #556, which it partly resolves.

The dead trigger

orlyc-arm-repro.yml landed on master in #552 still carrying:

  push:
    branches: [feat/548-multiarch-image]

That existed for one reason — workflow_dispatch only works once a workflow exists on the default branch, and this diagnostic had to run before anything merged. Both halves of that are now gone: the file is on master, and the branch it names was deleted when #552 merged. The file's own comment said to drop it once #548's arm question was answered, and #554 answered it.

So: dispatch-only.

The header

Rewritten, because it read as a one-shot "why does orlyc hang on aarch64" — a question with an answer now. What the next reader needs is why the file is kept:

No behaviour change beyond the trigger — same jobs, same matrix, same deadline and stack-dump-on-expiry.

Still not a gate; #556 is where that gets decided.

)

The workflow carried `push: branches: [feat/548-multiarch-image]` because
`workflow_dispatch` only works once a workflow exists on the default branch,
and the diagnostic had to run before anything merged. That branch merged in
#552 and has been deleted, so the trigger now names nothing; the file's own
comment said to drop it once the arm question was answered, and #554 answered
it.

Rewrite the header too. It was written as a one-shot "why does orlyc hang",
which is now history rather than instructions. What matters to whoever reads
it next is why it is kept: it is the only thing in CI that runs orlyc on arm,
and it has to be a RELEASE build, because #554 was an optimiser hoist that -O0
does not reproduce -- 15 pre-fix debug runs were clean while release wedged on
the first attempt, 3 out of 3.

Still not a gate. #556 tracks whether it should become one.
@ohohoreilly
ohohoreilly merged commit cc7ffe0 into master Sep 17, 2026
10 checks passed
@ohohoreilly
ohohoreilly deleted the ohohoreilly/556-repro-dispatch-only branch September 17, 2026 09:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant