Skip to content

DO NOT MERGE: CI companion for FIAT #291 - #5432

Closed
pbrubeck wants to merge 1 commit into
mainfrom
pbrubeck/ci-gem-deterministic-index-order
Closed

pbrubeck wants to merge 1 commit into
mainfrom
pbrubeck/ci-gem-deterministic-index-order

Conversation

@pbrubeck

@pbrubeck pbrubeck commented Sep 6, 2026

Copy link
Copy Markdown
Contributor

Throwaway branch. It exists only to run Firedrake CI against
firedrakeproject/fiat#291, which makes GEM order free indices by creation
rather than by memory address. Do not merge it.

The single commit installs that FIAT branch over the pinned version, after
Firedrake is installed, and then runs firedrake-clean, because the change
alters generated code and cached tabulations from the pinned FIAT would be
stale. Nothing outside .github/ is touched, and once firedrakeproject/fiat#291 merges this
branch has no content left, so it should be closed rather than merged.

What the tick is worth: FIAT #291 changes the loop nest of every generated
kernel, so the point is to confirm it is a reordering and not a regression.
Locally, on tests/{tsfc,multigrid,macro}, a paired run (both variants warmed,
separate caches, failures compared by name) gave identical failure sets with
and without the change.

Assisted by Claude Code (Claude Opus 5).

Installs firedrakeproject/fiat#291 over the pinned FIAT so Firedrake CI
exercises the deterministic free-index ordering that PR introduces. The
install runs after Firedrake itself, then clears the caches, because the
change alters generated code and any tabulation cached beforehand is stale.

Drop this commit once firedrakeproject/fiat#291 has merged. This branch
carries nothing else, so it must never merge.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@pbrubeck pbrubeck added the LLM used An LLM was used in the production of this PR label Sep 6, 2026
@pbrubeck pbrubeck closed this Sep 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

LLM used An LLM was used in the production of this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant