search

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
http://kappalanguage.org/
GNU Lesser General Public License v3.0
110 stars 40 forks source link

Fix #647: declare dependency to result package explicitely and fix windows build #648

Closed thierry-martinez closed 1 year ago

thierry-martinez commented 1 year ago

This PR declares the dependency to result package explicitly (the dependency was obtained transitively through biniou before #645), and fixes windows build in GitHub action (the previous action depends on cygwin setup path to install the zip command, whereas this PR uses the provided 7z command).

thierry-martinez commented 1 year ago

(This PR should fix #647: I don't know why GitHub does not link this PR from the issue whereas the issue number is in the title)