Skip to content
This repository has been archived by the owner on Mar 4, 2024. It is now read-only.

Various minor cleanups #23

Merged
merged 3 commits into from
Nov 6, 2020
Merged

Various minor cleanups #23

merged 3 commits into from
Nov 6, 2020

Conversation

sdroege
Copy link
Member

@sdroege sdroege commented Nov 6, 2020

No description provided.

@ids1024
Copy link
Contributor

ids1024 commented Nov 6, 2020

This appears to revert the gir submodule to an earlier commit. I assume that was committed unintentionally?

@sdroege
Copy link
Member Author

sdroege commented Nov 6, 2020

This appears to revert the gir submodule to an earlier commit. I assume that was committed unintentionally?

Yes, I hate git submodules :) Thanks for noticing!

@sdroege
Copy link
Member Author

sdroege commented Nov 6, 2020

Once gtk-rs/gir#985 is in and we regenerate with that, we won't have any compiler warnings left with latest stable and nightly. How it should've always been.

Can we have a github action that complains about warnings (makes them errors) and annotates PRs with them somehow? @bilelmoussaoui ?

@bilelmoussaoui
Copy link
Member

Definitely, I will handle that once my other CI additions are in

@@ -32,6 +32,7 @@ mod rt;
#[cfg_attr(feature = "cargo-clippy", allow(let_and_return))]
#[cfg_attr(feature = "cargo-clippy", allow(many_single_char_names))]
#[cfg_attr(feature = "cargo-clippy", allow(wrong_self_convention))]
#[allow(unused_imports)]
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

At some point it'd be nice if gir imports were fixed. :)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Indeed, but that's quite non-trivial to get right :)

@GuillaumeGomez
Copy link
Member

Thanks!

@GuillaumeGomez GuillaumeGomez merged commit 37f2c42 into gtk-rs:master Nov 6, 2020
@sdroege sdroege deleted the cleanups branch November 6, 2020 19:07
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants