Skip to content

[DOC] fix typo in docs and remove label in dependabot#440

Merged
albert-de-montserrat merged 1 commit intomainfrom
pa-typo
Feb 10, 2026
Merged

[DOC] fix typo in docs and remove label in dependabot#440
albert-de-montserrat merged 1 commit intomainfrom
pa-typo

Conversation

@aelligp
Copy link
Collaborator

@aelligp aelligp commented Feb 6, 2026

Whats the purpose of this PR?

  • Bug fix
  • New feature
  • Documentation update
  • Other, please explain

Describe it in more detail below:
also fixes a label issue with dependabot seen in #439

Checklist

  • The PR title is descriptive and starts with the appropriate tag: [BUGFIX], [ADDITION], [DOC], etc.
  • New tests (either assessing the correct behaviour of new internal functions or the correctness of a miniapps or benchmarks) were added, or old tests were updated
  • Affected miniapps have also been updated
  • The new feature was added in a way that does not break public API
  • New documentation related to the new feature was added
  • The new code follows the contributor guidelines, in particular the Runic Style

@codecov
Copy link

codecov bot commented Feb 6, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@aelligp aelligp changed the title fix typo in docs and remove label in dependabot [DOC] fix typo in docs and remove label in dependabot Feb 6, 2026
@albert-de-montserrat albert-de-montserrat merged commit 6f98d24 into main Feb 10, 2026
19 of 22 checks passed
@albert-de-montserrat albert-de-montserrat deleted the pa-typo branch February 10, 2026 15:20
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.

2 participants