Skip to content

Use four nanoda threads - #82

Merged
hargoniX merged 1 commit into
leanprover:masterfrom
Vilin97:nanoda-four-threads
Aug 23, 2026
Merged

Use four nanoda threads#82
hargoniX merged 1 commit into
leanprover:masterfrom
Vilin97:nanoda-four-threads

Use four nanoda threads

1bf8f1c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
build
succeeded Aug 23, 2026 in 2m 28s