Skip to content

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 <[email protected]>
Signed-off-by: Simo Sorce <[email protected]>
This one was odd, glad CI picked it.

Signed-off-by: Simo Sorce <[email protected]>
@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