Update coverage data

This commit is contained in:
github-actions
2023-11-20 12:46:43 +00:00
parent 951931c4e5
commit 2e247c5b63
4 changed files with 6 additions and 6 deletions

View File

@@ -65,7 +65,7 @@
<a id="nextFileLink" class="nav" href="index.html">&#xbb; next</a>
&nbsp; &nbsp; &nbsp;
<a class="nav" href="https://coverage.readthedocs.io/en/7.3.2">coverage.py v7.3.2</a>,
created at 2023-11-20 12:45 +0000
created at 2023-11-20 12:46 +0000
</p>
<aside class="hidden">
<button type="button" class="button_next_chunk" data-shortcut="j"/>
@@ -398,7 +398,7 @@
<a id="nextFileLink" class="nav" href="index.html">&#xbb; next</a>
&nbsp; &nbsp; &nbsp;
<a class="nav" href="https://coverage.readthedocs.io/en/7.3.2">coverage.py v7.3.2</a>,
created at 2023-11-20 12:45 +0000
created at 2023-11-20 12:46 +0000
</p>
</div>
</footer>