search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
363 stars 68 forks source link

CI cache is never hit #428

Closed HuStmpHrrr closed 1 month ago

HuStmpHrrr commented 1 month ago

The problem is that the key is too simple. This can be fixed by simple prefix or postfix.