Skip to content
LISA CI

Extract definitions/theorems of functions, add Sigma and Pi #800

Sign in to view logs

Extract definitions/theorems of functions, add Sigma and Pi

Extract definitions/theorems of functions, add Sigma and Pi #800

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4m 57s
4m 57s