search

maxsnew / cubical-categorical-logic

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

CI is Broken #113

Closed maxsnew closed 4 weeks ago

maxsnew commented 1 month ago

@stschaef getting errors building Agda in the CI, ugh

stschaef commented 1 month ago

Whack. I'll prioritize this and the grammars CI work for the rest of the morning

maxsnew commented 1 month ago

well since CI is broken anyway I'll just merge that PR now without waiting for CI to be fixed

stschaef commented 1 month ago

https://github.com/agda/cubical/issues/1161

Even the Cubical CI fails for me in a clean fork of the repo. Seems like a dependency change for Agda, going to test an install on a clean ubuntu VM and then open an issue on the Agda repo if the issue persists

maxsnew commented 4 weeks ago

Fixed upstream