docker-ci-for-pr

Monoid theory moved from examples/algebra to src/algebra (core library) #243

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-stdknl	50m 1s
build-expk	53m 2s
	1h 43m 3s