# HG changeset patch # User Da Risk # Date 1746406263 14400 # Node ID 79cf271b59eed60a16f63fcb03531b386705f482 # Parent bcfc8238b4f61639f2437ec4275eeddbd3470c84 workflow: add empty publish-website workflow diff -r bcfc8238b4f6 -r 79cf271b59ee .github/workflows/publish-website.yaml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.github/workflows/publish-website.yaml Sun May 04 20:51:03 2025 -0400 @@ -0,0 +1,10 @@ +# .github/workflows/publish.yml + +name: Publish website +on: + workflow_dispatch: + release: + types: [released, prereleased] + +jobs: + \ No newline at end of file