Skip to content

Redo regressions#2452

Merged
scarlehoff merged 2 commits into
masterfrom
scarlehoff-patch-1
Apr 14, 2026
Merged

Redo regressions#2452
scarlehoff merged 2 commits into
masterfrom
scarlehoff-patch-1

Conversation

@scarlehoff
Copy link
Copy Markdown
Member

@scarlehoff scarlehoff commented Apr 14, 2026

Apparently there are two types of github workflow, the regression tests are slightly different in them... and one is much more likely than the other (and I guess we got the less likely one in the last regeneration).

@scarlehoff scarlehoff added the redo-regressions Recompute the regression data label Apr 14, 2026
@scarlehoff scarlehoff merged commit 45d7e55 into master Apr 14, 2026
@scarlehoff scarlehoff deleted the scarlehoff-patch-1 branch April 14, 2026 11:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

redo-regressions Recompute the regression data

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant