Skip to content

update workflow (#142) #72

update workflow (#142)

update workflow (#142) #72

Workflow file for this run

name: Build & Upload the Specification
on:
push:
branches: [ main ]
workflow_dispatch:
jobs:
archive-build-spec:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install JetBrainsMono
run: mkdir JetBrainsMono
&& cd JetBrainsMono
&& wget https://download.jetbrains.com/fonts/JetBrainsMono-2.304.zip
&& unzip JetBrainsMono-2.304.zip
&& sudo mv fonts/ttf/*.ttf /usr/share/fonts/
&& cd -
- name: Install fontawesome
run: sudo apt-get install fonts-font-awesome
- name: Install tectonic
run: curl --proto '=https' --tlsv1.2 -fsSL https://drop-sh.fullyjustified.net |sh
- name: Install lualatex
# run: sudo apt-get install texlive-latex-base && sudo apt install texlive-luatex && sudo apt-get install texlive-latex-extra
run: sudo apt-get update && sudo apt install texlive-full --fix-missing
- name: Compile Specification
run: make ospec
- name: Upload the Specification
uses: actions/upload-artifact@v4
with:
name: specification.pdf
path: spec/_all_spec.pdf