osgi broke from upgrading maven plugins#4738

Merged

hmottestad merged 1 commit intomainfrom osgi-broke-after-upgrading-plugins

Aug 7, 2023

+45-24

Commits on Aug 7, 2023

osgi broke from upgrading maven plugins, hard to know which one did it. Also make a new verify workflow so that this doesn't happen again.
hmottestad
committed