2022-11-25 Cancel run 仕事・コンピューター・ソフトウェア いつのまにか、実行中のGithubActionsの中断が早くなった。 今まで結構待たされていて効率悪かったので、地味に嬉しい。