Skip to content
Lean Action CI

v5.8.0: 348 theorems — add Gap Bridge Theorems (cross-domain science) #15

Sign in to view logs

v5.8.0: 348 theorems — add Gap Bridge Theorems (cross-domain science)

v5.8.0: 348 theorems — add Gap Bridge Theorems (cross-domain science) #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 28s
1m 28s