Back to pull request #204

is_monic for free simple model morphisms, initializing hom search, monic search constraint #429

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Frontend	1m 25s
Build Rust Docs	24s
Build dev-docs	23s
Deploy to netlify	54s
	3m 6s