Main (x64)

Add Lean Python unit tests CI workflow (#142) #364

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Test (3.11)	2m 48s
Build and Test (3.8)	3m 10s
Build and Test (3.12)	3m 12s
Build and Test (3.10)	3m 7s
Build and Test (3.14)	2m 56s
Build and Test (3.13)	3m 13s
Build and Test (3.9)	3m 6s
	21m 32s