From 0deab30d4f94a7e99e78b7812a4fcf85be312797 Mon Sep 17 00:00:00 2001 From: Jonas Lund <102728103+jolnd@users.noreply.github.com> Date: Wed, 24 May 2023 14:10:52 +0200 Subject: [PATCH 1/8] Create make-pdfs.yml --- .github/workflows/make-pdfs.yml | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 .github/workflows/make-pdfs.yml diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml new file mode 100644 index 0000000..ccbb7dd --- /dev/null +++ b/.github/workflows/make-pdfs.yml @@ -0,0 +1,8 @@ +on: [push] +jobs: + build-lang-man: + runs-on: ubuntu-latest + steps: + - name: Run make script + run: ./.github/documentation/VDM10LangMan/MakeLangMan.sh + shell: bash From 2301689a3933db7e3df9d9bdbb74e819a7208c0a Mon Sep 17 00:00:00 2001 From: Jonas Lund <102728103+jolnd@users.noreply.github.com> Date: Wed, 24 May 2023 14:13:35 +0200 Subject: [PATCH 2/8] Update make-pdfs.yml --- .github/workflows/make-pdfs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml index ccbb7dd..aee8703 100644 --- a/.github/workflows/make-pdfs.yml +++ b/.github/workflows/make-pdfs.yml @@ -4,5 +4,5 @@ jobs: runs-on: ubuntu-latest steps: - name: Run make script - run: ./.github/documentation/VDM10LangMan/MakeLangMan.sh + run: ./documentation/VDM10LangMan/MakeLangMan.sh shell: bash From 4ef7a4d1b93b4a3ce89c42f84ade750d2ebb2b96 Mon Sep 17 00:00:00 2001 From: Jonas Lund <102728103+jolnd@users.noreply.github.com> Date: Wed, 24 May 2023 14:15:44 +0200 Subject: [PATCH 3/8] Update make-pdfs.yml --- .github/workflows/make-pdfs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml index aee8703..f330a9a 100644 --- a/.github/workflows/make-pdfs.yml +++ b/.github/workflows/make-pdfs.yml @@ -3,6 +3,8 @@ jobs: build-lang-man: runs-on: ubuntu-latest steps: + - name: checkout repo + uses: actions/checkout@v2.3.4 - name: Run make script run: ./documentation/VDM10LangMan/MakeLangMan.sh shell: bash From 80bf115b2c70c261e890a87b4b63d8fc89076a5d Mon Sep 17 00:00:00 2001 From: jolnd <201906201@post.au.dk> Date: Wed, 24 May 2023 14:27:18 +0200 Subject: [PATCH 4/8] Add execute permissions to MakeLangMan.sh --- documentation/VDM10LangMan/MakeLangMan.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 documentation/VDM10LangMan/MakeLangMan.sh diff --git a/documentation/VDM10LangMan/MakeLangMan.sh b/documentation/VDM10LangMan/MakeLangMan.sh old mode 100644 new mode 100755 From b14f4afa17377ff6224d150caa22e60520d11b97 Mon Sep 17 00:00:00 2001 From: jolnd <201906201@post.au.dk> Date: Wed, 24 May 2023 14:38:04 +0200 Subject: [PATCH 5/8] Change workflow file to use xu-cheng/latex-action --- .github/workflows/make-pdfs.yml | 17 ++++++++++++----- .../{VDM10_lang_man.pdf => OLD.pdf} | Bin 2 files changed, 12 insertions(+), 5 deletions(-) rename documentation/VDM10LangMan/{VDM10_lang_man.pdf => OLD.pdf} (100%) diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml index f330a9a..b9ba8e3 100644 --- a/.github/workflows/make-pdfs.yml +++ b/.github/workflows/make-pdfs.yml @@ -1,10 +1,17 @@ +name: Build LaTeX manuals and tutorials on: [push] jobs: build-lang-man: runs-on: ubuntu-latest steps: - - name: checkout repo - uses: actions/checkout@v2.3.4 - - name: Run make script - run: ./documentation/VDM10LangMan/MakeLangMan.sh - shell: bash + - name: Checkout repository + uses: actions/checkout@v3 + - name: Compile LaTeX document + uses: xu-cheng/latex-action@v2 + with: + root_file: documentation/VDM10LangMan/VDM10_lang_man.tex + - name: Upload PDF file + uses: actions/upload-artifact@v3 + with: + name: PDF + path: documentation/VDM10LangMan/VDM10_lang_man.pdf \ No newline at end of file diff --git a/documentation/VDM10LangMan/VDM10_lang_man.pdf b/documentation/VDM10LangMan/OLD.pdf similarity index 100% rename from documentation/VDM10LangMan/VDM10_lang_man.pdf rename to documentation/VDM10LangMan/OLD.pdf From 650731d2d3326cd2e841aec742cc0866bdedae17 Mon Sep 17 00:00:00 2001 From: Jonas Lund <102728103+jolnd@users.noreply.github.com> Date: Wed, 24 May 2023 14:43:14 +0200 Subject: [PATCH 6/8] Update make-pdfs.yml --- .github/workflows/make-pdfs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml index b9ba8e3..342f57b 100644 --- a/.github/workflows/make-pdfs.yml +++ b/.github/workflows/make-pdfs.yml @@ -10,8 +10,9 @@ jobs: uses: xu-cheng/latex-action@v2 with: root_file: documentation/VDM10LangMan/VDM10_lang_man.tex + work_in_root_file_dir: true - name: Upload PDF file uses: actions/upload-artifact@v3 with: name: PDF - path: documentation/VDM10LangMan/VDM10_lang_man.pdf \ No newline at end of file + path: documentation/VDM10LangMan/VDM10_lang_man.pdf From 31ace14e2d7e31deafea0cfdf21baf435089e8ab Mon Sep 17 00:00:00 2001 From: Jonas Lund <102728103+jolnd@users.noreply.github.com> Date: Wed, 24 May 2023 15:42:29 +0200 Subject: [PATCH 7/8] Update make-pdfs.yml --- .github/workflows/make-pdfs.yml | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml index 342f57b..99f1708 100644 --- a/.github/workflows/make-pdfs.yml +++ b/.github/workflows/make-pdfs.yml @@ -9,10 +9,28 @@ jobs: - name: Compile LaTeX document uses: xu-cheng/latex-action@v2 with: - root_file: documentation/VDM10LangMan/VDM10_lang_man.tex + root_file: ${{ github.workspace }}\documentation\VDM10LangMan\VDM10_lang_man.tex work_in_root_file_dir: true + - name: Remove Old PDF + uses: JesseTG/rm@v1.0.2 + with: + path: ${{ github.workspace }}\documentation\VDM10LangMan\VDM10_lang_man.pdf - name: Upload PDF file uses: actions/upload-artifact@v3 with: name: PDF - path: documentation/VDM10LangMan/VDM10_lang_man.pdf + path: ${{ github.workspace }}\documentation\VDM10LangMan\VDM10_lang_man.pdf + - name: Download PDF artifact + uses: actions/download-artifact@v2 + with: + name: distribution + path: ${{ github.workspace }}\documentation\VDM10LangMan + - name: Commit changes + uses: stefanzweifel/git-auto-commit-action@v4 + with: + commit_message: Automated Change + branch: jolnd-pdf-action + commit_options: '--no-verify --signoff' + commit_author: Author + status_options: '--untracked-files=no' + skip_dirty_check: true From 03f4c7744a76d142220f7f7ff08a824cb610ef52 Mon Sep 17 00:00:00 2001 From: Jonas Lund <102728103+jolnd@users.noreply.github.com> Date: Wed, 24 May 2023 15:45:32 +0200 Subject: [PATCH 8/8] Update make-pdfs.yml --- .github/workflows/make-pdfs.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml index 99f1708..19b609d 100644 --- a/.github/workflows/make-pdfs.yml +++ b/.github/workflows/make-pdfs.yml @@ -9,22 +9,22 @@ jobs: - name: Compile LaTeX document uses: xu-cheng/latex-action@v2 with: - root_file: ${{ github.workspace }}\documentation\VDM10LangMan\VDM10_lang_man.tex + root_file: documentation/VDM10LangMan/VDM10_lang_man.tex work_in_root_file_dir: true - name: Remove Old PDF uses: JesseTG/rm@v1.0.2 with: - path: ${{ github.workspace }}\documentation\VDM10LangMan\VDM10_lang_man.pdf + path: documentation/VDM10LangMan/VDM10_lang_man.pdf - name: Upload PDF file uses: actions/upload-artifact@v3 with: name: PDF - path: ${{ github.workspace }}\documentation\VDM10LangMan\VDM10_lang_man.pdf + path: documentation/VDM10LangMan/VDM10_lang_man.pdf - name: Download PDF artifact uses: actions/download-artifact@v2 with: name: distribution - path: ${{ github.workspace }}\documentation\VDM10LangMan + path: documentation/VDM10LangMan - name: Commit changes uses: stefanzweifel/git-auto-commit-action@v4 with: