Skip to content

greut is generating new slides #75

greut is generating new slides

greut is generating new slides #75

Workflow file for this run

name: Generation with pandoc
run-name: ${{ github.actor }} is generating new slides
on: [push]
env:
PANDOC_VERSION: 3.1.8
jobs:
build:
runs-on: ubuntu-22.04
concurrency:
group: ci-${{ github.ref_name }}
cancel-in-progress: true
steps:
- run: echo "🎉 Job triggered by a ${{ github.event_name }}, running on ${{ runner.os }}"
- name: Check out repository code
uses: actions/checkout@v4
- run: echo "💡 The branch ${{ github.ref }} from ${{ github.repository }} has been cloned to the runner."
- uses: awalsh128/cache-apt-pkgs-action@latest
with:
packages: >-
fonts-inconsolata
fonts-linuxlibertine
fonts-noto
fonts-texgyre
latexmk
lmodern
make
texlive-fonts-extra
texlive-fonts-recommended
texlive-lang-french
texlive-luatex
texlive-plain-generic
texlive-science
wget
version: 0.1
- run: |
wget https://github.com/jgm/pandoc/releases/download/${PANDOC_VERSION}/pandoc-${PANDOC_VERSION}-1-amd64.deb -O pandoc.deb
sudo dpkg -i pandoc.deb
- name: Run the Makefile
run: make all
- name: Add index
run: |
cp ./templates/index.html build/
cp ./templates/style.css build/
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@v4
if: github.ref == 'refs/heads/master'
with:
folder: build # The folder the action should deploy.
branch: gh-pages
- run: echo "🍏 This job's status is ${{ job.status }}."