Skip to content

Commit

Permalink
Added publising RISCOF report page along on the verification dashboard
Browse files Browse the repository at this point in the history
Signed-off-by: Maciej Kurc <[email protected]>
  • Loading branch information
mkurc-ant committed Nov 21, 2023
1 parent 97ffac3 commit 06d54e9
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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)
1 change: 1 addition & 0 deletions .github/scripts/update_webpage.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
6 changes: 6 additions & 0 deletions .github/workflows/publish-webpage.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 06d54e9

Please sign in to comment.