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