Skip to content
Lean Action CI

SimpleIter example ITree proof and reorganize files #5

Sign in to view logs

SimpleIter example ITree proof and reorganize files

SimpleIter example ITree proof and reorganize files #5

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 26s
2m 26s