commit 6f5c034ca964252046f0e4d62c1f7bf333d83dd3
author Jonatan Antoni <jonatan.antoni@arm.com> Thu Jun 17 14:55:20 2021 +0200
committer Jonatan Antoni <jonatan.antoni@arm.com> Thu Jun 17 15:48:27 2021 +0200
tree 924a4bc3404829e28d4f39c6fd3b865cba6528a5
parent 116866fd74756c88096e37cbd0066fadad583cad

GitHub: Separate action into two yaml files.

.github/workflows/gh-pages.yaml

diff --git a/.github/workflows/gh-pages.yaml b/.github/workflows/gh-pages.yaml
index 3b78b52..aad9fee 100644
--- a/.github/workflows/gh-pages.yaml
+++ b/.github/workflows/gh-pages.yaml
@@ -40,46 +40,3 @@
           git add .
           git commit -m "Update develop documentation"
           git push
-
-name: Release Documentation
-on:
-  release:
-    types: [published]
-jobs:
-  docs:
-    name: Build release documentation
-    runs-on: ubuntu-20.04
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions/setup-node@v1
-      - name: Install Doxygen 1.8.6
-        run: |
-          wget http://archive.ubuntu.com/ubuntu/pool/main/d/doxygen/doxygen_1.8.6-2_amd64.deb
-          sudo dpkg -i doxygen_1.8.6-2_amd64.deb
-      - name: Install mscgen 0.20
-        run: |
-          sudo apt-get update
-          sudo apt-get install --no-install-recommends -y mscgen=0.20-12
-      - name: Generate doxygen
-        run: CMSIS/DoxyGen/gen_doc.sh
-      - name: Archive documentation
-        run: |
-          cd CMSIS/Documentation
-          tar -cvjf /tmp/doc.tbz2 .
-      - uses: actions/checkout@v2
-        with:
-          ref: gh-pages
-      - name: Publish documentation
-        run: |
-          RELEASE=${GITHUB_REF}
-          rm -r ${RELEASE}
-          mkdir ${RELEASE}
-          rm latest
-          ln -s ${RELEASE} latest
-          cd RELEASE
-          tar -xvjf /tmp/doc.tbz2
-          git config user.name github-actions
-          git config user.email github-actions@github.com
-          git add . ../latest
-          git commit -m "Update documentation for release ${RELEASE}"
-          git push

.github/workflows/release.yaml

diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
new file mode 100644
index 0000000..635b505
--- /dev/null
+++ b/.github/workflows/release.yaml
@@ -0,0 +1,42 @@
+name: Release Documentation
+on:
+  release:
+    types: [published]
+jobs:
+  docs:
+    name: Build release documentation
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-node@v1
+      - name: Install Doxygen 1.8.6
+        run: |
+          wget http://archive.ubuntu.com/ubuntu/pool/main/d/doxygen/doxygen_1.8.6-2_amd64.deb
+          sudo dpkg -i doxygen_1.8.6-2_amd64.deb
+      - name: Install mscgen 0.20
+        run: |
+          sudo apt-get update
+          sudo apt-get install --no-install-recommends -y mscgen=0.20-12
+      - name: Generate doxygen
+        run: CMSIS/DoxyGen/gen_doc.sh
+      - name: Archive documentation
+        run: |
+          cd CMSIS/Documentation
+          tar -cvjf /tmp/doc.tbz2 .
+      - uses: actions/checkout@v2
+        with:
+          ref: gh-pages
+      - name: Publish documentation
+        run: |
+          RELEASE=${GITHUB_REF}
+          rm -r ${RELEASE}
+          mkdir ${RELEASE}
+          rm latest
+          ln -s ${RELEASE} latest
+          cd RELEASE
+          tar -xvjf /tmp/doc.tbz2
+          git config user.name github-actions
+          git config user.email github-actions@github.com
+          git add . ../latest
+          git commit -m "Update documentation for release ${RELEASE}"
+          git push