tweag / cooked-validators

MIT License
39 stars 11 forks source link

CI does not catch issues on `examples` #273

Closed florentc closed 1 year ago

florentc commented 1 year ago

I recently merged #270 in which the name of a function in UtxoState changed. I forgot to modify it accordingly in a call in AuctionSpec in package examples (see fix in #271). The example package could therefore not compile. The CI did not catch it and I was able to merge.