Skip to content

Commit

Permalink
Safeproof generation for case with no previous deploy
Browse files Browse the repository at this point in the history
  • Loading branch information
mczyz-antmicro committed Jun 28, 2023
1 parent 27b45cd commit 7613230
Showing 1 changed file with 13 additions and 6 deletions.
19 changes: 13 additions & 6 deletions .github/scripts/indexgen/generate.py
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ def make_coverage_report_index(branch, root, output, templates):
# Collect summary reports
summary = {k: None for k in keys}
for key in keys:
file = key
file = key
fname = os.path.join(path, file)
if os.path.isdir(fname):
summary[key] = file
Expand All @@ -41,6 +41,9 @@ def make_coverage_report_index(branch, root, output, templates):
for key in keys:
pfx = key + "_"

if not os.path.isdir(path):
continue

for file in sorted(os.listdir(path)):
fname = os.path.join(path, file)
if not os.path.isdir(fname):
Expand Down Expand Up @@ -68,6 +71,7 @@ def make_coverage_report_index(branch, root, output, templates):
**params
)


def make_verification_report_index(branch, root, output, templates):
"""
Prepares verification tests report index page
Expand All @@ -77,12 +81,14 @@ def make_verification_report_index(branch, root, output, templates):

# Collect tests
tests = set()
for file in sorted(os.listdir(path)):
if not file.startswith("webpage_"):
continue

test_name = file.replace("webpage_", "")
tests.add(test_name)
if os.path.isdir(path):
for file in sorted(os.listdir(path)):
if not file.startswith("webpage_"):
continue

test_name = file.replace("webpage_", "")
tests.add(test_name)

# Render the template
params = {
Expand All @@ -97,6 +103,7 @@ def make_verification_report_index(branch, root, output, templates):
**params
)


def make_dev_index(branches, output, templates):
"""
Prepares the branch/pr index page
Expand Down

0 comments on commit 7613230

Please sign in to comment.