2023年3月17日（金）

昨日寝る前に GitHub Actions がこけてたのだが、これ

github.com

が原因ぽい。 直後に再実行しても直らなかったが、 キャッシュが原因っぽいのでしばらく置いておいたら直るだろうな、と思い、朝にやってみたら直っていた。

いろいろ古くなってるのでメンテナンスしたい。