CI

Gate proof leaves with Lean theorem signatures #526

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
package import smoke	1m 25s
unit tests + 100% coverage (3.12)	4m 9s
proto lint (buf)	10s
docker build + import smoke	2m 6s
TypeScript SDK tests	16s
proto stub drift	25s
	8m 31s