Github-Actions
2026.07.04
infra
dotfiles にも CI を — 破壊的インストーラの冪等性を Ubuntu と Kali の二役で検証する
自分の開発環境が、ある日再現できなくなる 開発環境を1本のスクリプトにまとめている。シェル設定・プロンプト・ターミナルマルチプレクサ・言語ランタイム・クラウドCLIを、./setup_env.sh 一発で入れる。最終的に 1,358 行になった。新しいマシンでも、OS を入れ直した後でも、同じ環境が …
673 文字
|
4 分で読了
2026.06.15
devops
「秘密が漏れない」を Lean で証明して CI ゲートにした Rust CLI のリリースパイプライン
「テストが緑」で満足できなかった理由 エージェントに本物の API キーを渡さずに動かす CLI ツールを開発している。守りたい性質はシンプルで、子プロセスに本物の鍵を渡さないこと。ここが崩れれば、このツールを使う意味はない。 ただ、テストが通っているだけでは確認として物足りなかった。テストが言える …
362 文字
|
2 分で読了