33
44jobs :
55 build-docs :
6- runs-on : ubuntu-24.04
6+ with :
7+ os : ubuntu-24.04
8+ racket-variant : ' CS'
9+ racket-version : ' 9.0'
10+ runs-on : ${{ inputs.os }}
711 name : Build and deploy docs
12+
813 steps :
14+
915 - name : Checkout
1016 uses : actions/checkout@main
11- - name : Install nasm
12- run : sudo apt-get install nasm
13- - name : Install pandoc
14- run : |
15- curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
16- sudo dpkg -i pandoc.deb
17+
1718 - name : Install Racket
1819 uses : Bogdanp/setup-racket@v1.14
1920 with :
2021 architecture : ' x64'
2122 distribution : ' full'
22- variant : ' CS'
23- version : ' 8.18'
23+ variant : ${{ inputs.racket-variant }}
24+ version : ${{ inputs.racket-version }}
25+
26+ - name : Install clang
27+ run : |
28+ sudo apt install -y clang libssl-dev
29+
30+ - name : Install pandoc
31+ run : |
32+ curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
33+ sudo dpkg -i pandoc.deb
34+
2435 - name : Version info
2536 run : |
26- nasm --version
37+ clang --version
2738 gcc --version
39+
40+ - name : Cache Racket packages
41+ uses : actions/cache@v4
42+ with :
43+ path : |
44+ ~/.racket
45+ ~/.cache/racket
46+ ~/.local/share/racket
47+ ~/Library/Caches/Racket
48+ key : racket-${{ inputs.racket-variant }}-${{ inputs.racket-version }}-${{ inputs.os }}
49+
2850 - name : Install a86 package
2951 run : |
30- raco pkg install -D ../a86/
52+ raco pkg install --no-docs ../a86/
53+
3154 - name : Render documentation
3255 run : |
3356 find . -name '*scrbl'
@@ -36,14 +59,16 @@ jobs:
3659 --redirect-main http://docs.racket-lang.org/ \
3760 --dest out/ \
3861 a86/scribblings/a86.scrbl
62+
3963 - name : Archive documentation
4064 uses : actions/upload-pages-artifact@v3
4165 with :
4266 name : github-pages
4367 path : out/a86
68+
4469 deploy :
4570 needs : build-docs
46- runs-on : ubuntu-22 .04
71+ runs-on : ubuntu-24 .04
4772 permissions :
4873 pages : write
4974 id-token : write
5277 url : ${{ steps.deployment.outputs.page_url }}
5378 if : github.ref == 'refs/heads/main'
5479 steps :
55- - name : Deploy to GitHub pages
80+ - name : Deploy to GitHub Pages
5681 id : deployment
5782 uses : actions/deploy-pages@v4
0 commit comments