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 /.github/workflows/doc.yml | |
parent | e62a09a14b109edb07aabfede29097197f11fee0 (diff) | |
download | ghdl-ff6c17f5880428fe176c871c255222c7b7ae9879.tar.gz ghdl-ff6c17f5880428fe176c871c255222c7b7ae9879.tar.bz2 ghdl-ff6c17f5880428fe176c871c255222c7b7ae9879.zip |
ci: add job 'Coverage'
Diffstat (limited to '.github/workflows/doc.yml')
0 files changed, 0 insertions, 0 deletions