Skip to content

Branch Deleted

Branch Deleted #71

name: Branch Deleted
on:
delete:
branches:
- "**"
tags-ignore:
- "**"
concurrency:
group: "docs"
cancel-in-progress: false
permissions:
id-token: write
contents: write
packages: write
jobs:
ci:
uses: input-output-hk/catalyst-ci/.github/workflows/branch-pages-delete.yml@master
with:
aws_role_arn: arn:aws:iam::332405224602:role/ci
aws_region: eu-central-1
ci_cli_version: 1.3.1
earthfile: ./docs
target: docs
secrets:
earthly_runner_address: ${{ secrets.EARTHLY_SATELLITE_ADDRESS }}
earthly_runner_secret: ${{ secrets.EARTHLY_RUNNER_SECRET }}