🤖 docs: Use codecov as test link.

These changes were automatically generated by a transform whose code can be found at:
  - https://github.com/make-github-pseudonymous-again/rejuvenate/blob/8134808bd3e9bcbb3e4b2ca5401e2dee58965a01/src/transforms/docs:use-codecov-as-test-link.js
Please contact the author of the transform if you believe there was an error.

Author: a-flying-potato

doc/scripts/header.js

@@ -17,8 +17,7 @@ domReady(() => {
 	header.insertBefore(projectname, header.firstChild);
 
 	const testlink = document.querySelector('header > a[data-ice="testLink"]');
-	testlink.href =
-		'https://coveralls.io/github/computational-problem-solving/sat';
+	testlink.href = 'https://app.codecov.io/gh/computational-problem-solving/sat';
 	testlink.target = '_BLANK';
 
 	const searchBox = document.querySelector('.search-box');