feat: add page for tracking the 1000+ theorems list (#558) #2950
fpvandoornAnnotations
1 error and 1 warning
|
Build HTML
Version 3.8 with arch x64 not found
Available versions:
3.10.15 (x64)
3.11.11 (x64)
3.12.8 (x64)
3.9.20 (x64)
|
|
Build HTML
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|