Skip to content

Conversation

@p0wline
Copy link
Contributor

@p0wline p0wline commented Feb 5, 2025

No description provided.

@p0wline p0wline marked this pull request as draft February 5, 2025 09:10
@p0wline p0wline marked this pull request as ready for review February 5, 2025 09:20
@p0wline p0wline requested a review from Manuthor February 5, 2025 09:20
@Manuthor Manuthor changed the base branch from main to develop February 5, 2025 09:23
@p0wline p0wline merged commit 6322ba8 into develop Feb 5, 2025
18 checks passed
@p0wline p0wline deleted the ci/fix-apt-errors branch February 5, 2025 09:25
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.

3 participants