ci

Merge pull request #20 from leanprover-community/main #57

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Ubuntu	5m 30s
Build on macOS	10m 39s
Build on Windows	7m 11s
	23m 20s