add condensedCategorial foundations of formalized condensed mathematics #20
Annotations
3 errors and 1 warning
|
check diff
lean.bib is not normalized.
|
|
check diff
run 'bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i lean.bib -o lean.bib' to fix the issue.
|
|
check diff
Process completed with exit code 1.
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Loading