merge: Configure `coverage.py` #821

Triggered via push June 30, 2023 14:07

master

Status Success

Total duration 1m 42s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: push

Produced during runtime

Name	Size
Documentation Expired	8.55 MB