Skip to content
Lean Action CI

Make progress on mechanizing trace theory #188

Sign in to view logs

Make progress on mechanizing trace theory

Make progress on mechanizing trace theory #188

Run time

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