9
3

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 1 year has passed since last update.

GitHubのPR最下部に表示される「「アレ」」は、このAPIでPOSTできる

Last updated at Posted at 2022-12-11

本稿は :sparkles: GitHub Actions Advent Calendar 2022 :sparkles: 12日目の記事です :tada:

概要

本稿では、GitHubのPullRequestの最下部で表示される、上記画像の部分(=「アレ」)の概要を述べます。

わかること

  • 「アレ」ってなんて名前なの?
  • 「アレ」を操るにはどうしたらいいの?

成功時の「アレ」
success.png

pending時の「アレ」
failure.png

「アレ」 = Commit Status

名称について。

「アレ」はCommit Statusと言うらしいです。

今回かかったうちの半分以上は、この名称を調べるのに使った気がします……。

これで名称がわかりました。

Commit Status? PRステータスじゃないの? POSTする方法

Commit Statusはよく、テストカバレッジを表示したり、ビルドエラーを表示したり、lintの成功を表示したりします。
それ故に僕も「PRのステータスだ」と思っていたのですが、それは過ちです。

このステータス部分は、PRの「最新コミット」に載るものです。

具体的には下記例示のように、PRの最新コミットのshaにPOSTします。

.github/workflows/coverage.yml
name: Coverage

on:
  pull_request:
    branches: [ "develop" ]

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v3
    - run: ...
    #
    # ...
    #
    - run: ./.github/workflows/post-coverage.sh ${{ secrets.GITHUB_TOKEN }} ${{ github.event.pull_request.head.sha || github.sha }}
./.github/workflows/post-coverage.sh
#!/bin/bash

github_token=$1
commit_head_sha=$2
result='Coverage 90%'  # 実際はここでカバレッジを集計する

# YOUR_NAME と REPO は、実際のリポジトリに置き換えてください。
# 例えば https://github.com/aiya000/dotfiles なら aiya000 と dotfiles。
# => aiya000/dotfiles

curl -X POST \
  -H 'Accept: application/vnd.github+json' \
  -H "Authorization: Bearer $github_token" \
  -H 'X-GitHub-Api-Version: 2022-11-28' \
  -d "{\"state\":\"success\",\"description\":\"$some_text\",\"context\":\"coverage-bot\"}" \
  "https://api.github.com/repos/YOUR_NAME/REPO/statuses/$commit_head_sha"

これでGitHubのPRに

✅ coverage-bot  ― Coverage 90%

と表示されるようになりました :tada:

終わりに

GitHub氏、その設計でよかったんか? :thinking:

次回、「PRにコメントするにはIssue Comment APIを使う」の巻!!

9
3
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
9
3

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?