stats
stats copied to clipboard
CI counters are wrong
In particular the scripts counting jobs in the .github/workflows file miss a lot of them.