Skip to content

Port CI fixes to dev branch#465

Merged
fdesbiens merged 10 commits intodevfrom
master
Sep 2, 2025
Merged

Port CI fixes to dev branch#465
fdesbiens merged 10 commits intodevfrom
master

Conversation

@fdesbiens
Copy link
Contributor

No description provided.

fdesbiens added 10 commits July 17, 2025 16:26
Signed-off-by: Frédéric Desbiens <frederic.desbiens@eclipse-foundation.org>
Signed-off-by: Frédéric Desbiens <frederic.desbiens@eclipse-foundation.org>
Updated all actions to their latest release.
Fixed code coverage artefacts upload
Added condition to "Coverage Report Name". Corrected formatting.
Fixed code coverage report download step in deploy_code_coverage.
@fdesbiens fdesbiens merged commit d22057e into dev Sep 2, 2025
13 of 20 checks passed
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.

1 participant