Skip to content

CI: Move ubuntu 20.04 to Docker, revive Centos7#1846

Merged
cookpa merged 1 commit intomasterfrom
ci_update
Feb 12, 2025
Merged

CI: Move ubuntu 20.04 to Docker, revive Centos7#1846
cookpa merged 1 commit intomasterfrom
ci_update

Conversation

@cookpa
Copy link
Member

@cookpa cookpa commented Feb 12, 2025

The Ubuntu 20.04 runner is being retired, so move that to the docker build. Also bring back centos 7 builds.

@cookpa cookpa merged commit 2f37fa5 into master Feb 12, 2025
1 check passed
@cookpa cookpa deleted the ci_update branch February 12, 2025 19:45
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