記事へのコメント2

    • 注目コメント
    • 新着コメント
    takets
    takets “if: github.event.pull_request.merged == 'true'” PRのマージ時のタイミングを判定する

    2022/03/28 リンク

    その他
    kazuph1986
    kazuph1986 って思ったら、PRのmergeはpushと同義なので、mainにpushという指定だけで問題なかった。逆に言うとon:pull_request...types:[closed]の記事あることでこの問題を増量してそう。

    2021/09/09 リンク

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    Trigger workflow only on pull request MERGE · community · Discussion #26724

    You signed in with another tab or window. Reload to refresh your session. You signed out in anoth...

    ブックマークしたユーザー

    • takets2022/03/28 takets
    • kazuph19862021/09/09 kazuph1986
    • ebirhus2020/06/29 ebirhus
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事