creating new PR to try to fix CI on adt - Githubissues

uclid-org / uclid

UCLID5: formal modeling, verification, and synthesis of computational systems

Other

136 stars 32 forks source link

creating new PR to try to fix CI on adt #236

Closed polgreen closed 6 months ago