diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2020-12-31 10:20:01 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-01 11:19:04 +0100 |
| commit | 41e7c0b3f5ae86d873587033732c4474530e779f (patch) | |
| tree | 9b2ba04c1bf91afb80b4ff79abaa41fcadbfa9a4 /.github/workflows/push.yml | |
| parent | b3b54942277e5146d43a8c549c00931f90258618 (diff) | |
| download | ghdl-41e7c0b3f5ae86d873587033732c4474530e779f.tar.gz ghdl-41e7c0b3f5ae86d873587033732c4474530e779f.tar.bz2 ghdl-41e7c0b3f5ae86d873587033732c4474530e779f.zip | |
Enable coverage collection in pytest.
Diffstat (limited to '.github/workflows/push.yml')
0 files changed, 0 insertions, 0 deletions