Skip to content
Build and publish gh-pages.

Include all theories and redirect to AOT from ROOT index.html. #111

Sign in to view logs

Include all theories and redirect to AOT from ROOT index.html.

Include all theories and redirect to AOT from ROOT index.html. #111

Workflow file for this run

.github/workflows/pages.yml at c747fb6
name: Build and publish gh-pages.
on:
push:
branches:
- develop
jobs:
build-and-deploy:
name: Build HTML pages.
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Isabelle build.
run: |
mkdir output
mkdir AOT.ExportInfo
chmod 777 output
chmod 777 AOT.ExportInfo
sed -i -e 's/document = pdf, //' ROOT
docker run -v "$(pwd):/home/isabelle/AOT:rw" makarius/isabelle:Isabelle2023 build -D /home/isabelle/AOT -o browser_info -P /home/isabelle/AOT/output -e
cp -r output build
- name: Patch pages.
run: .github/workflows/patch_pages.py build/AOT/AOT/*.html
- name: Replace index.
run: cp .github/workflows/index.html build
- name: Deploy github pages.
uses: JamesIves/github-pages-deploy-action@4.1.4
with:
branch: gh-pages
folder: build