v0.17.0 protected

Rémi FERRAND ⛰

@rferrand

da9a21c6 · Merge branch 'release/0.17.0' · Apr 15, 2023

Rely on coverage keyword for gitlab-ci