fix: solved issue with macos black mode env#21

Justme0606 merged 1 commit into

mainrocq-prover/rocq-platform-starter:mainfrom

fix/macos-mode-sombrerocq-prover/rocq-platform-starter:fix/macos-mode-sombreCopy head branch name to clipboard