search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
225 stars 62 forks source link

[ci] Specify version in opam install script #835

Closed HadrienRenaud closed 6 months ago

HadrienRenaud commented 6 months ago

This fix the ci fails (e.g. this one).