Change the doxygen build CI instance

[davschneller]

Fixes the post-build section. (or rather, should do that)

[sebwolf-de]

Hard to tell, if this works, since the post-test stage is on the master branch. Does the build tag imply more memory?

[davschneller]

It does, I think I gave the build about 8 GiB and 2 cores. In contrast, the helper only gets 1 core and 1 GiB (since we'll need not much memory/computational power for checking the results for correctness).

[codecov-commenter]

Codecov Report

Merging #945 (c3ac38c) into master (bda81f2) will not change coverage.
The diff coverage is n/a.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the GitHub App Integration for your organization. Read more.

@@           Coverage Diff           @@
##           master     #945   +/-   ##
=======================================
  Coverage   14.43%   14.43%           
=======================================
  Files         253      253           
  Lines       14179    14179           
=======================================
  Hits         2047     2047           
  Misses      12132    12132           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[sebwolf-de]

LGTM

[sebwolf-de]

Whoop Whoop, it worked :D