search

coq-community / run-coq-bug-minimizer

Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
MIT License
2 stars 0 forks source link

Comments should directly link to output artifacts #33

Closed JasonGross closed 10 months ago

JasonGross commented 11 months ago

Now that actions/upload@v4 supports getting the artifact ID during the workflow, we should directly link to the artifacts with something like https://api.github.com/repos/coq-community/run-coq-bug-minimizer/actions/artifacts/${{ steps.artifact-upload-step.outputs.artifact-id }}/zip or ${GITHUB_API_URL}/repos/${GITHUB_REPOSITORY}/actions/artifacts/${{ steps.artifact-upload-step.outputs.artifact-id }}/zip cf

    - uses: actions/upload-artifact@v4
      id: artifact-upload-step
      with:
        name: my-artifact
        path: path/to/artifact/content/

    - name: Output artifact ID
      run:  echo 'Artifact ID is ${{ steps.artifact-upload-step.outputs.artifact-id }}'