Skip to content

Replace Ubuntu 20.04 with 22.04#291

Merged
marvinfriede merged 2 commits intomainfrom
remove-ubuntu-20
Apr 16, 2025
Merged

Replace Ubuntu 20.04 with 22.04#291
marvinfriede merged 2 commits intomainfrom
remove-ubuntu-20

Conversation

@marvinfriede
Copy link
Copy Markdown
Member

@marvinfriede marvinfriede commented Apr 16, 2025

Ubuntu 20.04 runners are discontinued and GCC8 is not on 22.04 anymore.

@marvinfriede marvinfriede merged commit bb9bd94 into main Apr 16, 2025
42 checks passed
@marvinfriede marvinfriede deleted the remove-ubuntu-20 branch April 16, 2025 17:18
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