blob: cac69f655aaa7a74b9d89ad2262c5ddb502a85f4 (
plain)
1
2
3
4
5
6
7
8
|
#!/bin/sh
mkdir -p docs/html/proof
cd docs/html/proof
curl -v -L -H "Accept: application/vnd.github.v3+json" -H "Authorization: token $GITHUB_TOKEN" https://api.github.com/repos/ymherklotz/vericert/actions/artifacts/26286264/zip -o html-documentation.zip
unzip html-documentation.zip
rm html-documentation.zip
cp ../../css/coqdoc.css .
|
