Skip to content

Fix num preview workers (#68)#76

Merged
pSpitzner merged 1 commit intomainfrom
preview-worker-rename
Jun 9, 2025
Merged

Fix num preview workers (#68)#76
pSpitzner merged 1 commit intomainfrom
preview-worker-rename

Conversation

@semohr
Copy link
Collaborator

@semohr semohr commented Jun 8, 2025

For some reason the variable was named incorrectly in the default config. Maybe we renamed it at some point?

closes #68

@pSpitzner pSpitzner merged commit e5e06b4 into main Jun 9, 2025
2 checks passed
@semohr semohr deleted the preview-worker-rename branch June 12, 2025 10:37
@pSpitzner pSpitzner mentioned this pull request Jun 15, 2025
8 tasks
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.

[RCv1] Num preview workers

2 participants