Skip to content
mdbook deploy to github pages

Merge pull request #4 from Lean-zh/type-classes #8

Sign in to view logs

Merge pull request #4 from Lean-zh/type-classes

Merge pull request #4 from Lean-zh/type-classes #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
8s
8s