CI

Fix #1059: add `pred extract` for lifting external target-space solutions #1727

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	49s
Code Coverage	4m 25s
Test	5m 47s
	11m 1s