Update coverage data

This commit is contained in:
github-actions
2023-11-21 08:15:26 +00:00
parent 36cd12fbfe
commit 8784dbf0e3
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 17:40 +0000
created at 2023-11-21 08:15 +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 17:40 +0000
created at 2023-11-21 08:15 +0000
</p>
</div>
</footer>