GitHub - stepchowfun/toast: Containerize your development and continuous integration environments. 🥂
Toast is a tool for containerizing your workflows such as building and testing a project. You define tasks in a YAML file called a toastfile, and Toast runs them in a container based on a Docker image of your choosing. What constitutes a "task" is up to you: tasks can install system packages, compile an application, run a test suite, or even serve web pages. Tasks can depend on other tasks, so Toa
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
proofs/proofs/AdmissibilityGraph at main · stepchowfun/proofs
typical/README.md at main · stepchowfun/typical
GitHub - stepchowfun/proofs: My personal repository of formally verified mathematics.
GitHub - stepchowfun/typical: Data interchange with algebraic data types.
GitHub - stepchowfun/theorem-prover: An automated theorem prover for first-order logic.
