-
Notifications
You must be signed in to change notification settings - Fork 3
Open
Description
As said in #11 (comment)
We should clean this up.
a) not hard code the website in here. The cproofwebsite should pull from the deployment subdirectory, not be pushed to from the deployment subdirectory.
b) we should probably not be making an html here, but rather something the website can read like a yaml file with statistics.
Metadata
Metadata
Assignees
Labels
No labels