Echo urls for uploaded artifacts

Progress towards #33
coq-community · Jan 11, 2024 · 04d5b23 · 04d5b23
1 parent 1608b30
commit 04d5b23
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -30,47 +30,63 @@ jobs:
       if: always()
 
     - name: Upload output file
+      id: upload-bug-v
       uses: actions/upload-artifact@v4
       with:
         name: bug.v
         path: bug.v
       if: always()
 
     - name: Upload output log
+      id: upload-bug-log
       uses: actions/upload-artifact@v4
       with:
         name: bug.log
         path: bug.log
       if: always()
 
     - name: Upload verbose output log
+      id: upload-bug-verbose.log
       uses: actions/upload-artifact@v4
       with:
         name: bug.verbose.log
         path: bug.verbose.log
       if: always()
 
     - name: Upload build log
+      id: upload-build-log
       uses: actions/upload-artifact@v4
       with:
         name: build.log
         path: build.log
       if: always()
 
     - name: Upload temp file
+      id: upload-tmp-v
       uses: actions/upload-artifact@v4
       with:
         name: tmp.v
         path: tmp.v
       if: always()
 
     - name: Upload metadata file
+      id: upload-metadata-log
       uses: actions/upload-artifact@v4
       with:
         name: metadata
         path: metadata
       if: always()
 
+    - name: Display file links
+      run: |
+        echo "bug.v: ${GITHUB_API_URL}/repos/${GITHUB_REPOSITORY}/actions/artifacts/${{ steps.upload-bug-v.outputs.artifact-id }}/zip'
+        echo "bug.log: ${GITHUB_API_URL}/repos/${GITHUB_REPOSITORY}/actions/artifacts/${{ steps.upload-bug-log.outputs.artifact-id }}/zip'
+        echo "bug.verbose.log: ${GITHUB_API_URL}/repos/${GITHUB_REPOSITORY}/actions/artifacts/${{ steps.upload-bug-verbose-log.outputs.artifact-id }}/zip'
+        echo "build.log: ${GITHUB_API_URL}/repos/${GITHUB_REPOSITORY}/actions/artifacts/${{ steps.upload-build-log.outputs.artifact-id }}/zip'
+        echo "tmp.v: ${GITHUB_API_URL}/repos/${GITHUB_REPOSITORY}/actions/artifacts/${{ steps.upload-tmp-v.outputs.artifact-id }}/zip'
+        echo "metadata.log: ${GITHUB_API_URL}/repos/${GITHUB_REPOSITORY}/actions/artifacts/${{ steps.upload-metadata-log.outputs.artifact-id }}/zip'
+      if: always()
+
     - name: Make a single build artifact
       run: |
         rm -rf /tmp/artifact.tar.gz
@@ -83,6 +99,7 @@ jobs:
       if: always()
 
     - name: Upload a Build Artifact
+      id: upload-artifact-tar-gz
       uses: actions/upload-artifact@v4
       with:
         # Artifact name