Skip to content

Remove redundant stuffs #388

Remove redundant stuffs

Remove redundant stuffs #388

Workflow file for this run

name: Build-LaTeX
on: [push]
jobs:
build-latex:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
with:
set-safe-directory: '/github/workspace'
- id: files
uses: jzarnett/[email protected]
- run: |
cp lectures/compiled/* lectures
for changed_file in ${{ steps.files.outputs.added_modified }}; do
touch ${changed_file}
done
- name: Compile
uses: jzarnett/[email protected]
with:
working_directory: lectures
pushback: true
env:
DEFAULT_BRANCH: main
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Upload PDF
uses: actions/upload-artifact@v3
with:
name: pdfs
path: |
lectures/compiled/*