agda / agda-categories

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

[ fix #284 ] github actions script #285

Closed gallais closed 3 years ago

gallais commented 3 years ago

Not sure why it's not running in this PR. We had a similar issue yesterday with a frex-project build so it may just be the usual behaviour when you create the first github actions for a repo.

You can see the result of the run that happened on my fork.