Skip to content

docs: Fix some style issues in coding style

Whoops.

Also add a CI job to make this unlikelier to happen in the future.

Merge request reports