Skip to content

Update to Fedora 38 in CI#177

Merged
ooxi merged 1 commit intogerbv:mainfrom
ooxi:feature/fedora-38
May 26, 2023
Merged

Update to Fedora 38 in CI#177
ooxi merged 1 commit intogerbv:mainfrom
ooxi:feature/fedora-38

Conversation

@ooxi
Copy link
Copy Markdown
Contributor

@ooxi ooxi commented May 26, 2023

We are only keeping the last release in CI in order to not slow down build times too much.

Fixes #176.

We are only keeping the last release in CI in order to not slow down build times too much.
@ooxi ooxi merged commit fc30735 into gerbv:main May 26, 2023
@ooxi ooxi deleted the feature/fedora-38 branch May 26, 2023 18:44
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.

Update CI to Fedora 38

1 participant