CI

Merge pull request #333 from Darktan242/solver/issue-269-32-a0 #184

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	1m 28s
Test	0s
Protocol Invariants	0s
Build	-1s
Security Scan	-1s
	1m 26s