Testing the new code analysis feature of github

[wilko77]

see https://docs.github.com/en/github/finding-security-vulnerabilities-and-errors-in-your-code/configuring-code-scanning#overriding-automatic-language-detection

[codecov[bot]]

Codecov Report

Merging #389 into master will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #389   +/-   ##
=======================================
  Coverage   94.65%   94.65%           
=======================================
  Files          12       12           
  Lines         936      936           
=======================================
  Hits          886      886           
  Misses         50       50           

[wilko77]

/AzurePipelines run

[azure-pipelines[bot]]

Azure Pipelines successfully started running 1 pipeline(s).

[wilko77]

This does not seem very insightful for our purposes.