search

chipsalliance / Cores-VeeR-EL2

VeeR EL2 Core
https://chipsalliance.github.io/Cores-VeeR-EL2/html/
Apache License 2.0
247 stars 74 forks source link

Create empty dev if old.dev does not exist #109

Closed mczyz-antmicro closed 1 year ago

mczyz-antmicro commented 1 year ago

There was a bug in fresh environment, which caused the gen_index script to copy dev directory without checking if it exists. The directory is responsible for holding data about PRs, which was always present in last CI runs on fork. This explains why the issue was not observed pre-merge. To fix, I added a check if root/dev path is a valid directory. If it isn't, then dev will be created with an empty set of branches.

github-actions[bot] commented 1 year ago

Links to coverage and verification reports for this PR (#109) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/

github-actions[bot] commented 1 year ago

Links to coverage and verification reports for this PR (#109) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/