tree 46b4c77f429927e05e35d368faa40c381e6744b1
parent 1bd99a89ba430af69bbe8499b3d393065649f61e
author Davide Pesavento <davidepesa@gmail.com> 1673578844 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1674010806 -0500

Add workflow for continuous deployment of HTML pages

Change-Id: I38655455658f83cd5eab24a7b58c7f3d15969c8d