search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
194 stars 49 forks source link

ci: Add 8.15 #232

Closed liyishuai closed 2 years ago

bcpierce00 commented 2 years ago

@liyishuai Looks like one of the CI jobs is stuck?

Lysxia commented 2 years ago

It looks like the build failed on CircleCI but it forgot to tell Github. Also the failure is just Coq dev breaking itree, which happens about every month. But I'll add itree to Coq CI soon.