runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
208 stars 41 forks source link

Fix syntax error in release.yml #3931

Closed jberthold closed 3 months ago