CI

docs: refresh README, contributing guide and workspace ADR #42

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rust (fmt, clippy, test, deny)	27s
Node (lint, typecheck, test)	1m 31s
Terraform & Helm	8s
Lean (Lake)	15s
Docker (lean-farm image)	31s
	2m 52s