diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-12 20:25:35 +0100 |
|---|---|---|
| committer | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-12 20:25:47 +0100 |
| commit | a54b2eba5382ec980b1eaf785ed529704fb98cf8 (patch) | |
| tree | 1eadc641b60929e0a31708118bad5377663fa0a2 /src/flags.ads | |
| parent | 6496bc9045f9c07c71ca92dbe9d7afbc107c7d7d (diff) | |
| download | ghdl-a54b2eba5382ec980b1eaf785ed529704fb98cf8.tar.gz ghdl-a54b2eba5382ec980b1eaf785ed529704fb98cf8.tar.bz2 ghdl-a54b2eba5382ec980b1eaf785ed529704fb98cf8.zip | |
ci: codecov needs the repo to be checked out in job 'coverage-publish'
Diffstat (limited to 'src/flags.ads')
0 files changed, 0 insertions, 0 deletions