search

informalsystems / cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts
Apache License 2.0
14 stars 1 forks source link

Create github action #14

Closed bugarela closed 6 months ago

bugarela commented 6 months ago

Hello :octocat:

Closes #13, adding a github action to run the recently added integration tests.

PS: I think I need to merge this first and then I can add this CI check as required to merge PRs.