Skip to content

Improve CI to make sure minimal checks are done before merge #72

Improve CI to make sure minimal checks are done before merge

Improve CI to make sure minimal checks are done before merge #72

This job succeeded