Skip to content
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.

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

Build in Debian 10 container #41

Merged
merged 1 commit into from
Oct 15, 2022
Merged

Build in Debian 10 container #41

merged 1 commit into from
Oct 15, 2022

Conversation

geofft
Copy link
Collaborator

@geofft geofft commented Oct 14, 2022

This ensures that we're compatible with Debian's packaged version of rustc. Ideally we would run the full CI workflow (package build and installation) on Debian 10, but since that's best done on a full system and not a container to test systemd packaging etc., leave it alone for now.

@geofft geofft force-pushed the build-debian-10 branch 2 times, most recently from 10e4349 to 22d57cf Compare October 15, 2022 19:56
@geofft
Copy link
Collaborator Author

geofft commented Oct 15, 2022

OK, CI is failing the way I expect now and will work once #45 lands.

This ensures that we're compatible with Debian's packaged version of
rustc. Ideally we would run the full CI workflow (package build and
installation) on Debian 10, but since that's best done on a full system
and not a container to test systemd packaging etc., leave it alone for
now.
@leifwalsh leifwalsh marked this pull request as ready for review October 15, 2022 21:10
@leifwalsh leifwalsh merged commit 8e41cf8 into main Oct 15, 2022
@leifwalsh leifwalsh deleted the build-debian-10 branch October 15, 2022 21:10
@flokli flokli mentioned this pull request Oct 20, 2022
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.

None yet

2 participants