Final changes to `metatheory-site.yml` workflow

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.55k stars 466 forks source link

Closed zeme-wana closed 1 week ago

zeme-wana commented 1 week ago

The workflow can now publish the metatheory site successfully. The RELEASE.adoc has been updated