From c287da8e619f676d749be53107928b0a38234e8d Mon Sep 17 00:00:00 2001 From: grunenwald Date: Thu, 14 Sep 2023 08:33:20 +0200 Subject: [PATCH] Update makefile.yml --- .github/workflows/makefile.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index d9ea7cc..154a7c4 100644 --- a/.github/workflows/makefile.yml +++ b/.github/workflows/makefile.yml @@ -25,7 +25,7 @@ jobs: wget https://raw.githubusercontent.com/mreq/xelatex-emoji/master/xelatexemoji-flags.sty sed -i 's/^\(\\usepackage{amsmath}\)/%\1/' xelatexemoji.sty sed -i 's/^\(\\providecommand{\\xelatexemojipath}\)/%\1/' xelatexemoji.sty - + - run: make all - run: echo "🎉 The job was automatically triggered by a ${{ github.event_name }} event." - run: echo "🐧 This job is now running on a ${{ runner.os }} server hosted by GitHub!" - run: echo "🔎 The name of your branch is ${{ github.ref }} and your repository is ${{ github.repository }}." @@ -35,5 +35,5 @@ jobs: - run: echo "🖥️ The workflow is now ready to test your code on the runner." - name: List files in the repository run: | - ls ${{ github.workspace }} + ls ${{ github.workspace }}/build - run: echo "🍏 This job's status is ${{ job.status }}."