diff --git a/.github/workflows/combined-haddock.yml b/.github/workflows/combined-haddock.yml new file mode 100644 index 00000000000..a80d1cb314d --- /dev/null +++ b/.github/workflows/combined-haddock.yml @@ -0,0 +1,16 @@ +name: Combined Haddock +on: + workflow_dispatch: + push: + branches: + - master + - release/** +jobs: + build-and-deploy-combined-haddock: + runs-on: [self-hosted, plutus-benchmark] + permissions: + contents: write + environment: + name: github-pages + steps: + - run: exit 0