Fixes to deployment CI - Githubissues

chipsalliance / Cores-VeeR-EL2

VeeR EL2 Core

Apache License 2.0

238 stars 70 forks source link

Closed mczyz-antmicro closed 10 months ago

mczyz-antmicro commented 11 months ago

This PR provides 2 fixes and an improvement

Information from PR runs is deployed to: {root}/html/dev/PR_number or {root}/doctress/dev/PR_number. The remove PR information workflow had an incorrect path to the html directory and wouldn't remove doctrees files. Fixed.
Rsync after building the indexgen would place files in a new html, redundantly. Fixed.
Deployment to GH-Pages was not in a concurrency group, which could result in undefined behavior with multiple open PRs.

github-actions[bot] commented 11 months ago

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

github-actions[bot] commented 10 months ago

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