Skip to content

Redirect tex4tum.de/sheets to www.latex4ei.de #76

Redirect tex4tum.de/sheets to www.latex4ei.de

Redirect tex4tum.de/sheets to www.latex4ei.de #76

Workflow file for this run

name: CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Build
run: docker compose run tex4tum make build
- name: Deploy
if: github.ref == 'refs/heads/master'
uses: JamesIves/github-pages-deploy-action@v4.3.3
with:
branch: gh-pages
folder: docs
single-commit: true
silent: true