Skip to content

Fixes wrong documentation (outdated jobnames)#356

Merged
ManiMatter merged 1 commit into
devfrom
fix-wrong-readme-outdated-jobnames
May 6, 2026
Merged

Fixes wrong documentation (outdated jobnames)#356
ManiMatter merged 1 commit into
devfrom
fix-wrong-readme-outdated-jobnames

Conversation

@ManiMatter
Copy link
Copy Markdown
Owner

fixes #313

@ManiMatter ManiMatter changed the title Fixes wrong documentation (oudated jobnames) Fixes wrong documentation (outdated jobnames) May 6, 2026
@ManiMatter ManiMatter merged commit 6283028 into dev May 6, 2026
4 checks passed
@ManiMatter ManiMatter deleted the fix-wrong-readme-outdated-jobnames branch May 7, 2026 20:00
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.

replace SEARCH_BETTER and SEARCH_CUTOFF_UNMET in favor of SEARCH_UNMET_CUTOFF

1 participant