It seems that some part of the agda/forester/agda-forester pipeline gets confused with files that change capitalisation. In one PR I renamed the file CoComma to Cocomma, and that broke website building in all of my branches because agda-forester got confused, resulting in the error
￫ error[resource_not_found]
￮ Resource not found: https://samtoth.github.io/agda-synthetic-categories/Synthetic.Categories.CoComma
(As an aside, this URL is wrong since it is running on localhost).
It seems that some part of the agda/forester/agda-forester pipeline gets confused with files that change capitalisation. In one PR I renamed the file
CoCommatoCocomma, and that broke website building in all of my branches because agda-forester got confused, resulting in the error(As an aside, this URL is wrong since it is running on localhost).