Guix ユーザーなので Docker 使わないで部分的に guix environment で環境を作って acl2 を実行したんだけど微妙な気はしている。
git.tojo.tokyo/ci.git/tree/job

Follow

Guix のビルドでテストするのが理想的な感じする

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!