Skip to content

Delete previous build/deploy documentation action#300

Merged
ValerianRey merged 1 commit intomainfrom
delete-old-documentation-action
Apr 5, 2025
Merged

Delete previous build/deploy documentation action#300
ValerianRey merged 1 commit intomainfrom
delete-old-documentation-action

Conversation

@PierreQuinton
Copy link
Copy Markdown
Contributor

No description provided.

@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 5, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

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

Copy link
Copy Markdown
Contributor

@ValerianRey ValerianRey left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If we have a major and urgent issue with the new action we can always revert this, so let's merge already.

@ValerianRey ValerianRey added the cc: ci Conventional commit type for changes to the CI (Github workflows and actions). label Apr 5, 2025
@ValerianRey ValerianRey merged commit 0017a56 into main Apr 5, 2025
15 checks passed
@ValerianRey ValerianRey deleted the delete-old-documentation-action branch April 7, 2025 00:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cc: ci Conventional commit type for changes to the CI (Github workflows and actions).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants