Skip to content

Use walltime runner#233

Closed
seddonym wants to merge 1 commit intomasterfrom
wall-time-runner
Closed

Use walltime runner#233
seddonym wants to merge 1 commit intomasterfrom
wall-time-runner

Conversation

@seddonym
Copy link
Collaborator

@seddonym seddonym commented Aug 1, 2025

I thought walltime runners were a possibility, but it looks like we'd need to move Grimp to an organization level account to make use of this at the moment.

https://codspeed.io/docs/instruments/walltime#usage-on-personal-github-accounts

@seddonym seddonym closed this Aug 1, 2025
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