Skip to content

Update CI workflow - #69

Merged
vlaurin merged 5 commits into
mainfrom
update-ci
Jun 16, 2026
Merged

Update CI workflow#69
vlaurin merged 5 commits into
mainfrom
update-ci

Conversation

@vlaurin

@vlaurin vlaurin commented Jun 16, 2026

Copy link
Copy Markdown
Contributor

No description provided.

vlaurin added 3 commits June 16, 2026 11:07
Fix major version only to reduce dependabot noise
Reduce notifications noise in favour of centralised dashboard.
@vlaurin
vlaurin requested a review from a team June 16, 2026 10:20
@vlaurin vlaurin added the type:chore Not pretty but needs to be done label Jun 16, 2026
@vlaurin
vlaurin merged commit 8ce136e into main Jun 16, 2026
6 checks passed
@vlaurin
vlaurin deleted the update-ci branch June 16, 2026 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:chore Not pretty but needs to be done

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants