昨日寝る前に GitHub Actions がこけてたのだが、これ github.com が原因ぽい。 直後に再実行しても直らなかったが、 キャッシュが原因っぽいのでしばらく置いておいたら直るだろうな、と思い、朝にやってみたら直っていた。 いろいろ古くなってるのでメンテ…