The Case Sensitivity of the GitHub Actions Runner

遭遇した問題

Bug: Couldn’t open SUMMARY.md · Issue #36 · peaceiris/actions-mdbook

GitHub Actions runner (Ubuntu VM) 上の mdBook が SUMMARY.md を認識してくれるが summary.md は認識してくれない。

ローカルの macOS マシンでは SUMMARY.md と summary.md のどちらも認識される。

他には「プログラミング言語でローカルライブラリ・パッケージのインポートに失敗する」ケースが予想される。

理由

GitHub Actions runner とローカル環境の Case Sensitivity が異なっていた。

ローカルの macOS マシンは case-insensitive mode (ディレクトリ・ファイル名の大文字と小文字が区別されない) でフォーマットされていたため、ローカルビルドは成功するのにリモートでは失敗していた。

たしか brew doctor に case insensitive でディスクを初期化せよ、と言われてそうした覚えがある。

GitHub Actions VM の case-sensitivity は変更可能か

現状ではそれぞれのフォーマットのイメージを提供する予定はないとのこと。

MacOSX images with case sensitive APFS filesystem · Issue #865 · actions/virtual-environments

We can’t offer another image at this time since it would affect overall capacity of Mac and be costly to maintain.

こちらもいかが？

はてなインターン2020参加記

peaceiris のリモート開催はてなインターン2020参加記

2020-09-22

canonical | peaceiris.hateblo.jp

$2^n < n!$ の証明

数学的帰納法と性質を利用したもの二通りの証明

2020-12-09