diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index ebafe70fa8..2ecc969589 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -75,7 +75,7 @@ jobs: || '${{ github.base_ref }}' == 'master' ]]; then # Pick Agda version for master echo "AGDA_COMMIT=tags/v2.6.4" >> $GITHUB_ENV; - echo "AGDA_HTML_DIR=html" >> $GITHUB_ENV + echo "AGDA_HTML_DIR=html/master" >> $GITHUB_ENV elif [[ '${{ github.ref }}' == 'refs/heads/experimental' \ || '${{ github.base_ref }}' == 'experimental' ]]; then # Pick Agda version for experimental @@ -125,6 +125,7 @@ jobs: run: cabal update - name: Install alex & happy + if: steps.cache-cabal.outputs.cache-hit != 'true' run: | ${{ env.CABAL_INSTALL }} alex ${{ env.CABAL_INSTALL }} happy @@ -177,6 +178,9 @@ jobs: rm -f '${{ env.AGDA_HTML_DIR }}'/*.css ${{ env.AGDA }} --html --html-dir ${{ env.AGDA_HTML_DIR }} index.agda + cp travis/* . + ./landing.sh + - name: Deploy HTML uses: JamesIves/github-pages-deploy-action@4.1.3 if: ${{ success() && env.AGDA_DEPLOY }} diff --git a/travis/agda-logo.svg b/travis/agda-logo.svg new file mode 100644 index 0000000000..0fe434e8ed --- /dev/null +++ b/travis/agda-logo.svg @@ -0,0 +1,16 @@ + + logotype + Created with Sketch. + + + + \ No newline at end of file diff --git a/travis/landing-bottom.html b/travis/landing-bottom.html new file mode 100644 index 0000000000..9cd52d7c69 --- /dev/null +++ b/travis/landing-bottom.html @@ -0,0 +1,4 @@ + + + + diff --git a/travis/landing-top.html b/travis/landing-top.html new file mode 100644 index 0000000000..81b03304b9 --- /dev/null +++ b/travis/landing-top.html @@ -0,0 +1,24 @@ + + + + Documention for the Agda standard library + + + + +
+ +

Documention for the Agda standard library

+ +
+ +

Development versions

+ + + +

Released versions

+ +