CI

fix(agents): recursively decompose proof obligations #456

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unit tests + 100% coverage (3.12)	1m 34s
proto lint (buf)	8s
proto stub drift	20s
package import smoke	1m 32s
TypeScript SDK tests	18s
docker build + import smoke	2m 11s
	6m 3s