Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 19 additions & 1 deletion .github/workflows/compile.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,25 +8,43 @@ jobs:
archive-build-spec:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0

- 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: Failure Notification
if: failure() || cancelled()
uses: slackapi/slack-github-action@91efab103c0de0a537f72a35f6b8cda0ee76bf0a # v2.1.1
with:
webhook: ${{ secrets.SLACK_WEBHOOK_URL }}
webhook-type: webhook-trigger
payload: |
name: "SpecCompilation"
status: "${{ job.status }}"

- name: Upload the Specification
uses: actions/upload-artifact@v4
with:
name: specification.pdf
path: spec/_all_spec.pdf


Loading