CI

feat(agents): persist unresolved proof obligations #477

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
proto lint (buf)	7s
package import smoke	1m 33s
docker build + import smoke	2m 57s
unit tests + 100% coverage (3.12)	1m 39s
proto stub drift	19s
TypeScript SDK tests	18s
	6m 53s