diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-01 02:24:55 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-01 11:19:04 +0100 |
| commit | ff6c17f5880428fe176c871c255222c7b7ae9879 (patch) | |
| tree | cb32cb6e9c53c08d4da99f4c352346dbf6ed7a71 /src | |
| parent | e62a09a14b109edb07aabfede29097197f11fee0 (diff) | |
| download | ghdl-ff6c17f5880428fe176c871c255222c7b7ae9879.tar.gz ghdl-ff6c17f5880428fe176c871c255222c7b7ae9879.tar.bz2 ghdl-ff6c17f5880428fe176c871c255222c7b7ae9879.zip | |
ci: add job 'Coverage'
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions