v0.7.2

Aqua v0.7.2

Diff since v0.7.1

Merged pull requests:

• CI: use concrete action version (#172) (@lgoettgens)
• CI: set a timeout of 10 minutes (#175) (@fingolfin)
• Print module in test_undefined_exports report (#177) (@lgoettgens)
• Add compat for Documenter.jl (#182) (@lgoettgens)
• Streamline uses of Compat.jl (#183) (@lgoettgens)
• Fix TagBot setup (#184) (@fingolfin)
• Make CI jobs runable by hand (#185) (@lgoettgens)
• Set version to 0.7.2 (#187) (@lgoettgens)

Closed issues:

• Report which module has undefined exports (#176)