Skip to content

Commit

Permalink
Use report-status-in-issue action to report the build status
Browse files Browse the repository at this point in the history
  • Loading branch information
gsmet committed Jan 20, 2025
1 parent 2279746 commit 84d51c0
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 106 deletions.
95 changes: 0 additions & 95 deletions .github/report-status-in-issue.java

This file was deleted.

18 changes: 7 additions & 11 deletions .github/workflows/sync-main-doc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -61,14 +61,10 @@ jobs:
git pull origin main --rebase
git push origin main
- name: Report status
if: "always() && github.repository == 'quarkusio/quarkusio.github.io'"
shell: bash
run: |
curl -Ls https://sh.jbang.dev | bash -s - app setup
~/.jbang/bin/jbang .github/report-status-in-issue.java \
issueNumber=17071 \
runId=${{ github.run_id }} \
status=${{ job.status }} \
token=${{ secrets.SYNC_MAIN_TOKEN }} \
issueRepo=quarkusio/quarkus \
thisRepo=${{ github.repository }}
uses: quarkusio/report-status-in-issue@main
if: always() && github.repository == 'quarkusio/quarkusio.github.io'
with:
github-token: ${{ secrets.SYNC_MAIN_TOKEN }}
status: ${{ job.status }}
issue-repository: quarkusio/quarkus
issue-number: 17071

0 comments on commit 84d51c0

Please sign in to comment.