From 06d54e9e5c8fdd269f75a9d82563d06d86d60005 Mon Sep 17 00:00:00 2001 From: Maciej Kurc Date: Thu, 29 Jun 2023 13:12:16 +0200 Subject: [PATCH] Added publising RISCOF report page along on the verification dashboard Signed-off-by: Maciej Kurc --- .../indexgen/source.template/verification_dashboard.md | 1 + .github/scripts/update_webpage.sh | 1 + .github/workflows/publish-webpage.yml | 6 ++++++ 3 files changed, 8 insertions(+) diff --git a/.github/scripts/indexgen/source.template/verification_dashboard.md b/.github/scripts/indexgen/source.template/verification_dashboard.md index 117962205b7..fd26d14f7fa 100644 --- a/.github/scripts/indexgen/source.template/verification_dashboard.md +++ b/.github/scripts/indexgen/source.template/verification_dashboard.md @@ -6,3 +6,4 @@ {%- for test in tests %} * [{{ test }}](external:verification_dashboard/webpage_{{ test }}/{{ test }}.html) {%- endfor %} + * [RISCOF tests report](external:verification_dashboard/riscof/report.html) diff --git a/.github/scripts/update_webpage.sh b/.github/scripts/update_webpage.sh index 17a9a2a18b5..e0b5045085c 100755 --- a/.github/scripts/update_webpage.sh +++ b/.github/scripts/update_webpage.sh @@ -64,6 +64,7 @@ update_webpage(){ replace_dir ./coverage_dashboard ${PUBLIC_DIR}/html/${DIR}/coverage_dashboard replace_dir ./verification_dashboard ${PUBLIC_DIR}/html/${DIR}/verification_dashboard + replace_dir ./riscof_dashboard ${PUBLIC_DIR}/html/${DIR}/verification_dashboard/riscof pushd .github/scripts/indexgen python -m venv venv diff --git a/.github/workflows/publish-webpage.yml b/.github/workflows/publish-webpage.yml index 8e276aad238..c00dbf953d8 100644 --- a/.github/workflows/publish-webpage.yml +++ b/.github/workflows/publish-webpage.yml @@ -35,6 +35,12 @@ jobs: name: verification_dashboard path: ./verification_dashboard + - name: Download RISCOF report + uses: actions/download-artifact@v3 + with: + name: riscof-report + path: ./riscof_dashboard + - name: Checkout gh-pages uses: actions/checkout@v3 with: