Skip to content

Conversation

@gkreitz
Copy link
Contributor

@gkreitz gkreitz commented Mar 17, 2025

Looks like CI has been failing for a bit. I don't see any code changes we've made that should have caused it, so likely this is due to changes upstream (changed images and/or dependencies).

Our builds fail on

dpkg-checkbuilddeps: error: Unmet build dependencies: build-essential:native

so this PR explicitly apt-gets build-essential in our github workflow.

As this has been broken for a bit, one of the unit test had gone bad too - it tried to test generators in verifyproblem, which no longer exists.

@gkreitz gkreitz changed the title Explicitly install build-essential, as deb building blows up on it not being installed Fix CI tests Mar 17, 2025
@gkreitz gkreitz merged commit 8d79ec2 into Kattis:develop Mar 17, 2025
3 checks passed
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.

2 participants