search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.55k stars 466 forks source link

Add workflow for publishing Agda Metatheory site #6223

Closed zeme-wana closed 1 week ago

zeme-wana commented 1 week ago

This PR improves the build script of the plutus metatheory site and adds a new workflow for manually deploying the site to our GitHub Pages