Skip to content

[CI] ci: add lower bound tests#587

Merged
jokasimr merged 1 commit into
mainfrom
lower-bound-for-all
May 15, 2026
Merged

[CI] ci: add lower bound tests#587
jokasimr merged 1 commit into
mainfrom
lower-bound-for-all

Conversation

@jokasimr
Copy link
Copy Markdown
Contributor

Fixes #562

@github-actions github-actions Bot added the CI label May 15, 2026
@github-actions github-actions Bot changed the title ci: add lower bound tests [CI] ci: add lower bound tests May 15, 2026
@github-actions
Copy link
Copy Markdown

Hi! Your PR was missing some labels 🔖 so I added them: CI
Hi Again 👋! I added the missing prefix: [CI] to the title.

@jokasimr jokasimr added this pull request to the merge queue May 15, 2026
Merged via the queue into main with commit 27179d6 May 15, 2026
7 checks passed
@jokasimr jokasimr deleted the lower-bound-for-all branch May 15, 2026 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Lower bound tests don't run for all packages

2 participants