Fix CI failures do to change in reference output

tchajed / coq-record-update

Library to create Coq record update functions

MIT License

42 stars 16 forks source link

Fix CI failures do to change in reference output #49

Open tchajed opened 1 month ago

tchajed commented 1 month ago

Coq master has slightly tweaked line breaking, which is causing CI to fail. I think we'll just need to have multiple reference outputs and choose the right one based on Coq version.