blub

.github/workflows/release.yml

@@ -115,7 +115,7 @@ jobs:
     runs-on: ubuntu-latest
 
     permissions:
-      contents: write # for creating releases (?TODO necessary)
+      contents: write # for creating releases
 
     steps:
       - name: checkout
@@ -145,3 +145,149 @@ jobs:
             _releases/jazzer-linux.tar.gz
             _releases/jazzer-macos.tar.gz
             _releases/jazzer-windows.tar.gz
+
+  generate_jazzer_api_docs:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+
+      - name: Build Jazzer API docs
+        run: |
+          bazel build --//deploy:linked_javadoc //deploy:jazzer-api-docs
+
+      - name: Upload jazzer-api-docs.jar
+        uses: actions/upload-artifact@v3
+        with:
+          name: jazzer_api_docs
+          path: bazel-bin/deploy/jazzer-api-docs.jar
+          if-no-files-found: error
+
+  update_jazzer_api_docs:
+    runs-on: ubuntu-latest
+    needs: generate_jazzer_api_docs
+
+    steps:
+      - name: checkout docs
+        uses: actions/checkout@v3
+        with:
+          repository: 'CodeIntelligenceTesting/jazzer-docs'
+          token: "${{ secrets.DOCS_DEPLOY_TOKEN }}"
+
+      - name: Download jar
+        uses: actions/download-artifact@v3
+        with:
+          name: jazzer_api_docs
+          path: jazzer-api-docs.jar
+
+      - name: Extract jar
+        run: |
+          git rm -rf jazzer-api-docs
+          mkdir jazzer-api-docs
+          unzip jazzer-api-docs.jar -d jazzer-api-docs
+          git add jazzer-api-docs
+
+      - name: Commit changes
+        run: |
+          git commit -m "Automated update jazzer-api docs"
+          git push
+          sleep 30
+
+  generate_jazzer_docs:
+    runs-on: ubuntu-latest
+    needs: update_jazzer_api_docs
+
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+
+      - name: Build Jazzer docs
+        run: |
+          bazel build --//deploy:linked_javadoc //deploy:jazzer-docs
+
+      - name: Upload jazzer-docs.jar
+        uses: actions/upload-artifact@v3
+        with:
+          name: jazzer_docs
+          path: bazel-bin/deploy/jazzer-docs.jar
+          if-no-files-found: error
+
+  update_jazzer_docs:
+    runs-on: ubuntu-latest
+    needs: generate_jazzer_docs
+
+    steps:
+      - name: checkout docs
+        uses: actions/checkout@v3
+        with:
+          repository: 'CodeIntelligenceTesting/jazzer-docs'
+          token: "${{ secrets.DOCS_DEPLOY_TOKEN }}"
+
+      - name: Download jar
+        uses: actions/download-artifact@v3
+        with:
+          name: jazzer_docs
+          path: jazzer-docs.jar
+
+      - name: Extract jar
+        run: |
+          git rm -rf jazzer-docs
+          mkdir jazzer-docs
+          unzip jazzer-docs.jar -d jazzer-docs
+          git add jazzer-docs
+
+      - name: Commit changes
+        run: |
+          git commit -m "Automated update jazzer docs"
+          git push
+          sleep 30
+
+  generate_jazzer_junit_docs:
+    runs-on: ubuntu-latest
+    needs: update_jazzer_docs
+
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+
+      - name: Build Jazzer JUnit docs
+        run: |
+          bazel build --//deploy:linked_javadoc //deploy:jazzer-api-docs
+
+      - name: Upload jazzer-api-docs.jar
+        uses: actions/upload-artifact@v3
+        with:
+          name: jazzer_api_docs
+          path: bazel-bin/deploy/jazzer-api-docs.jar
+          if-no-files-found: error
+
+  update_jazzer_api_docs:
+    runs-on: ubuntu-latest
+    needs: generate_jazzer_api_docs
+
+    steps:
+      - name: checkout docs
+        uses: actions/checkout@v3
+        with:
+          repository: 'CodeIntelligenceTesting/jazzer-docs'
+          token: "${{ secrets.DOCS_DEPLOY_TOKEN }}"
+
+      - name: Download jar
+        uses: actions/download-artifact@v3
+        with:
+          name: jazzer_api_docs
+          path: jazzer-api-docs.jar
+
+      - name: Extract jar
+        run: |
+          git rm -rf jazzer-api-docs
+          mkdir jazzer-api-docs
+          unzip jazzer-api-docs.jar -d jazzer-api-docs
+          git add jazzer-api-docs
+
+      - name: Commit changes
+        run: |
+          git commit -m "Automated update jazzer-api docs"
+          git push
+          sleep 30