search

runtimeverification / haskell-backend

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

Fix release CI job #3933

Closed goodlyrottenapple closed 3 weeks ago

goodlyrottenapple commented 3 weeks ago

looks like we maybe need to explicitly add draft-release to the needs section of update-depends??

jberthold commented 3 weeks ago

looks like we maybe need to explicitly add draft-release to the needs section of update-depends??

Yes, thanks - I missed that detail in the rush to fix things. Another question is why we actually build that release again - we have tested building with both cabal and stack in master. What would make sense if we want to do it is to re-run the integration tests before publishing the release.