Skip to content

Add a history_key keyword to keep separate test histories - #189

Merged
giordano merged 1 commit into
mainfrom
mg/history-key
Sep 20, 2026
Merged

giordano merged 1 commit into
mainfrom
mg/history-key

Conversation

@giordano

Copy link
Copy Markdown
Collaborator

Fix #187.

@christiangnrd christiangnrd left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like this a lot and Metal.jl already has a use for this with its shader validation pass.

stacked auto-merge was automatically disabled September 20, 2026 17:42

Pull Request is not mergeable

stacked auto-merge was automatically disabled September 20, 2026 17:46

Pull Request is not mergeable

@giordano

Copy link
Copy Markdown
Collaborator Author

Sigh, Github messed up the stack......

Base automatically changed from mg/history-lock-merge to main September 20, 2026 18:03
@giordano

Copy link
Copy Markdown
Collaborator Author

And the conflicts can't be resolved in the web interface. This branch had one commit on top of the other one, how hard it'd be to rebase it?! OK, I'll have to resolve this when I'm home

All runs of a package on a machine share one history of durations and
failures, keyed only by the module name and the Julia minor version.
When the same suite runs in configurations with different timings, for
instance on a CPU and on a GPU in separate CI jobs of one agent, each
run reorders the tests using the other's measurements.

`runtests(...; history_key = "gpu")` stores the history in
`<mod>-gpu.jls` next to the default file, which stays as it is when the
keyword is omitted. Fixes #187 (second
proposal).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TNK7qXSraxSfzK6T4UxUtk
@christiangnrd

Copy link
Copy Markdown
Collaborator

The issue is that there's a conflict with #183 that #188 didn't have.

I rebased it locally. I can push if you want, or I can let you take care of it if you want

@giordano

Copy link
Copy Markdown
Collaborator Author

If you can push, that'd be great! I won't be home for about an hour at least

@giordano

Copy link
Copy Markdown
Collaborator Author

I'm going to tag a new version, so that I can use this in Oceananigans.

@giordano
giordano merged commit 87d5c57 into main Sep 20, 2026
18 checks passed
@giordano
giordano deleted the mg/history-key branch September 20, 2026 19:12
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.

History files are overwritten by concurrent builds

2 participants