Skip to content

Revert renaming of the line count articfact oct_lines.png (introduced in !2541)

Martin Langrequested to merge
revert-oct_lines-renaming into main

The name change introduced in !2541 (merged) caused two issues:

  1. It is not yet reflected in all places -> the CI failed and the website still shows the old plot

  2. Renaming the file would cause issues when rebuilding the webpages for older point releases (unless we backport the new line counting script which I don't think is worth doing)

Therefore, I propose to keep the old name of the output png (although the new one would be a bit clearer).

This commit also removes the sync of the other artifacts that were produced by the old line counting script and have been removed in the re-write. They do not seem to be used anywhere on the website so removing those should not cause any issues. Manual cleanup on the webserver would be required if we wish to remove those completely.

Merge request reports