Skip to content
Run type checker

Merge branch 'dev' of https://github.com/gumyr/build123d into dev #46

Sign in to view logs

Merge branch 'dev' of https://github.com/gumyr/build123d into dev

Merge branch 'dev' of https://github.com/gumyr/build123d into dev #46

Run time

Learn about OS pricing on GitHub Actions
Job Run time
typecheck (3.10)
44s
typecheck (3.12)
43s
1m 27s