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

Fix assorted CI issue #319

Merged
merged 4 commits into from
Mar 15, 2023
Merged

Fix assorted CI issue #319

merged 4 commits into from
Mar 15, 2023

Conversation

simo5
Copy link
Member

@simo5 simo5 commented Mar 15, 2023

As infrastructure changes we need to fix issues CI experience, or old problems the tools find only now.

simo5 added 4 commits March 15, 2023 10:25
With the configured Ubuntu image it is not available, and it is not
worth doing a lot of work for it as 3.6 is on the way out generally
anyway.

Signed-off-by: Simo Sorce <simo@redhat.com>
Signed-off-by: Simo Sorce <simo@redhat.com>
Signed-off-by: Simo Sorce <simo@redhat.com>
This one was odd, glad CI picked it.

Signed-off-by: Simo Sorce <simo@redhat.com>
@simo5 simo5 merged commit dc21a78 into latchset:main Mar 15, 2023
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.

1 participant