New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update CI scripts #422

Merged

osa1 merged 4 commits into master from update_ci

Nov 12, 2023

Owner

osa1 commented Nov 12, 2023

Update Ubuntu from 20.04 to 22.04.
Test statically linked builds in PRs to make sure we don't break the build when updating dependencies.

osa1 added 4 commits

November 12, 2023 09:51


          CI: Ubuntu 20.04 -> 22.04

7db35c4


          Try static builds

092b6a4


          Install musl target in static build jobs

d1b839f


          Rename jobs for consistency

74a156b

osa1 merged commit 5e36aa2 into master

osa1 deleted the update_ci branch

November 12, 2023 08:59

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet