Closed mczyz-antmicro closed 10 months ago
Index.html is not preserved by update_webpage script, which results in a brief period between PR remove workflow and main CI workflow when the website is unavailable. In this PR, I added the same solution as in publish webpage workflow.
Index.html
update_webpage
Index.html
is not preserved byupdate_webpage
script, which results in a brief period between PR remove workflow and main CI workflow when the website is unavailable. In this PR, I added the same solution as in publish webpage workflow.