search

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
MIT License
26 stars 5 forks source link

CI Broken #50

Closed maxsnew closed 9 months ago

maxsnew commented 9 months ago

The CI is failing on upstream cubical stuff, e.g., https://github.com/maxsnew/multi-poly-cats/pull/49. I can't reproduce locally

maxsnew commented 9 months ago

Fixed once #49 is merged