Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
2023/12/13のページです。最新版はこちら
議論はまだありません
このスクリプトが Greasy Fork の規則に違反するなら、削除依頼してください
評価やコメント、質問を投稿するにはログインしてください
