Skip to content

Update to ubuntu24.04#50

Merged
lhstrh merged 2 commits intomainfrom
ubuntu-24.04
Feb 3, 2025
Merged

Update to ubuntu24.04#50
lhstrh merged 2 commits intomainfrom
ubuntu-24.04

Conversation

@erlingrj
Copy link
Contributor

@erlingrj erlingrj added enhancement New feature or request ci labels Jan 20, 2025
@erlingrj
Copy link
Contributor Author

clippy now reports several linting errors, it doesn't seem to like //! ... . Could you look at this @oowekyala?

@lhstrh lhstrh merged commit ade0d7a into main Feb 3, 2025
6 checks passed
@lhstrh lhstrh deleted the ubuntu-24.04 branch February 3, 2025 19:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants