Skip to content

Update CI versions - #9

Merged
fmrico merged 1 commit into
rollingfrom
update_ci
Oct 9, 2025
Merged

fmrico merged 1 commit into
rollingfrom
update_ci

Conversation

@fmrico

@fmrico fmrico commented Oct 9, 2025

Copy link
Copy Markdown
Contributor

Hi,

Update CI for the latest rolling distro

Signed-off-by: Francisco Martín Rico <fmrico@gmail.com>
@fmrico
fmrico merged commit 98b8c20 into rolling Oct 9, 2025
1 check passed
@fmrico
fmrico deleted the update_ci branch October 9, 2025 09:39
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