Skip to content

CI updates - #506

Merged
Gautzilla merged 4 commits into
Project-OSmOSE:mainfrom
Gautzilla:ci-rework
Oct 8, 2026
Merged

Gautzilla merged 4 commits into
Project-OSmOSE:mainfrom
Gautzilla:ci-rework

Conversation

@Gautzilla

@Gautzilla Gautzilla commented Oct 8, 2026 •

Copy link
Copy Markdown
Contributor

This PR adds two small enhancements to the CI:

  • The documentation is now built on each PR (but remains published only on pushes on the main branch): this makes sure the documentation won't fail once a PR is merged.
  • The PRs opened by dependabot that contain only patch and minor bumps should now be automatically approved and merged

This PR resolves #491

@Gautzilla Gautzilla self-assigned this Oct 8, 2026
@Gautzilla Gautzilla added the CI Everything related to continuous integration label Oct 8, 2026
@coveralls

coveralls commented Oct 8, 2026 •

Copy link
Copy Markdown
Collaborator

Coverage Status

coverage: 99.114%. remained the same — Gautzilla:ci-rework into Project-OSmOSE:main

@Gautzilla
Gautzilla merged commit 4f3a8f0 into Project-OSmOSE:main Oct 8, 2026
4 checks passed
@Gautzilla
Gautzilla deleted the ci-rework branch October 8, 2026 09:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Everything related to continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Dependabot auto merge

2 participants