Add `plutus-core-semantics` as a dependent of `blockchain-k-plugin`

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Open Scott-Guest opened 1 year ago

Scott-Guest commented 1 year ago

The PR runtimeverification/devops#172 removed plutus-core-semantics as a dependent repo of blockchain-k-plugin.

If this semantics becomes active again, it should be re-added.