CI: Fix make build - Githubissues

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

194 stars 49 forks source link

CI: Fix make build #250

Closed Lysxia closed 1 year ago