search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

CI should error when `{{#bibliography}}` is invoked and there are no references #1175

Closed fredrik-bakke closed 1 month ago

fredrik-bakke commented 2 months ago 
          Cool development! Just wanted to mention that the [references](https://unimath.github.io/agda-unimath/synthetic-category-theory.synthetic-categories.html#references) are not displaying here.

Originally posted by @FernandoChu in https://github.com/UniMath/agda-unimath/issues/1171#issuecomment-2325965980

fredrik-bakke commented 2 months ago

This potential problem was also briefly discussed here: https://github.com/UniMath/agda-unimath/pull/1160#discussion_r1720942429