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.
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.