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

Debian CI #1632

Merged
merged 2 commits into from
Aug 11, 2023
Merged

Debian CI #1632

merged 2 commits into from
Aug 11, 2023

Conversation

andres-erbsen
Copy link
Contributor

@andres-erbsen andres-erbsen commented Aug 7, 2023

#1631 will not support 8.15 but we want CI with maintained packages

@andres-erbsen andres-erbsen force-pushed the debian-ci branch 25 times, most recently from 43ae18b to 02a03f3 Compare August 7, 2023 20:01
@andres-erbsen andres-erbsen marked this pull request as ready for review August 8, 2023 00:23
@andres-erbsen andres-erbsen force-pushed the debian-ci branch 2 times, most recently from 59c0566 to 7cf6f93 Compare August 10, 2023 22:29
@andres-erbsen andres-erbsen merged commit ecfafcc into mit-plv:master Aug 11, 2023
14 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