Skip to content

Fix the release workflow's lint job, and let a failed release be re-run - #17

Merged
mbakalarski merged 1 commit into
mainfrom
fix/ci-with-bnp-lint
Jul 29, 2026
Merged

Fix the release workflow's lint job, and let a failed release be re-run#17
mbakalarski merged 1 commit into
mainfrom
fix/ci-with-bnp-lint

Commits

Commits on Jul 29, 2026