Loading ci/index-pages.html +1 −0 Original line number Diff line number Diff line Loading @@ -20,6 +20,7 @@ <ul> <li><a href="coverage/index.html">Coverage report</a></li> <li><a href="coverage_stv/index.html">Coverage of short test vectors</a></li> </ul> </body> ci/setup_pages.py +1 −0 Original line number Diff line number Diff line Loading @@ -34,6 +34,7 @@ def main(): job_public = job + "-public" if job == "coverage-test-on-main-scheduled": job_public = "coverage" pathlib.Path("coverage_stv").rename(public_folder.joinpath("coverage_stv")) pathlib.Path(job_public).rename(public_folder.joinpath(job_public)) Loading Loading
ci/index-pages.html +1 −0 Original line number Diff line number Diff line Loading @@ -20,6 +20,7 @@ <ul> <li><a href="coverage/index.html">Coverage report</a></li> <li><a href="coverage_stv/index.html">Coverage of short test vectors</a></li> </ul> </body>
ci/setup_pages.py +1 −0 Original line number Diff line number Diff line Loading @@ -34,6 +34,7 @@ def main(): job_public = job + "-public" if job == "coverage-test-on-main-scheduled": job_public = "coverage" pathlib.Path("coverage_stv").rename(public_folder.joinpath("coverage_stv")) pathlib.Path(job_public).rename(public_folder.joinpath(job_public)) Loading