diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/mjit.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/mjit.yml b/.github/workflows/mjit.yml index 3e648fa941..898ea5613f 100644 --- a/.github/workflows/mjit.yml +++ b/.github/workflows/mjit.yml @@ -35,6 +35,7 @@ jobs: GITHUB_BRANCH: ${{ github.event.pull_request.head.ref }} GITHUB_REPO: ${{ github.event.pull_request.head.repo.full_name }} if: github.event_name == 'pull_request' + - run: ./src/tool/actions-commit-info.sh - name: Fixed world writable dirs run: | chmod go-w $HOME @@ -66,7 +67,7 @@ jobs: payload: | { "attachments": [{ - "text": "${{ job.status}}: <https://github.com/${{ github.repository }}/commit/${{ github.sha }}/checks|MJIT / ${{ matrix.jit_opts }}> " + + "text": "${{ job.status }}: ${{ env.COMMIT_DATE }}-${{ env.COMMIT_NUMBER_OF_DAY }} <https://github.com/${{ github.repository }}/commit/${{ github.sha }}/checks|MJIT / ${{ matrix.jit_opts }}> " + "(<https://github.com/${{ github.repository }}/commit/${{ github.sha }}|" + "${{ github.sha }}".substring(0, 10) + ">) " + "of ${{ github.repository }}@" + "${{ github.ref }}".split('/').reverse()[0] + " by ${{ github.event.head_commit.committer.name }}", "color": "danger" |