Build Lean project

StableCombi: Define stability of relations, sets in a group, binary f… #163

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	3s
Build project	3m 54s
	3m 57s