runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Hotfix/fix nix cachix #404

Closed F-WRunTime closed 1 year ago

F-WRunTime commented 1 year ago

Fixing https://github.com/cachix/cachix-action/issues/138