Repository navigation

Windows MSVC

chore(deps): allow z3 prebuilt TLS wrapper #83

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Resolve PR metadata	6s
PR lint and test (x64)	15m 14s
PR lint and test (arm64)	18m 30s
Seed cache (${{ matrix.arch }})	0s
Build binaries (${{ matrix.arch }})	0s
	33m 50s