search

granule-project / granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://granule-project.github.io
BSD 3-Clause "New" or "Revised" License
589 stars 33 forks source link

Bump to Stackage LTS 20.26 #242

Closed andreasabel closed 5 months ago

andreasabel commented 6 months ago

CI with caching takes now ~5 min rather than ~20 min.

It still fails because of: