GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73 stars 11 forks source link

Add CI to check for version bump in PRs to master #283

Open NatKarmios opened 5 months ago

NatKarmios commented 5 months ago

As we build more CI things, it's a good idea to make sure we're actually bumping versions when we push to master.