From ea9eb15bbe5f656f2ad725c785ac387a52bbacc9 Mon Sep 17 00:00:00 2001 From: zeme Date: Thu, 6 Jun 2024 13:56:28 +0200 Subject: [PATCH] wip --- .github/workflows/combined-haddock.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/combined-haddock.yml b/.github/workflows/combined-haddock.yml index 32690dfcb1a..1db3d6bfa6c 100644 --- a/.github/workflows/combined-haddock.yml +++ b/.github/workflows/combined-haddock.yml @@ -1,7 +1,7 @@ # This workflow builds a combined haddock and publishes it to: # https://intersectmbo.github.io/plutus/haddock/master # https://intersectmbo.github.io/plutus/haddock/release/X.X.X.X -name: "Build and Deploy to Github Pages" +name: "Combined Haddock" on: workflow_dispatch: push: @@ -9,7 +9,7 @@ on: - master - release/** jobs: - build-haddock-site: + build-and-deploy-combined-haddock: runs-on: [self-hosted, plutus-benchmark] permissions: contents: write