Skip to content

Redirect pages

Redirect pages #253

Workflow file for this run

name: Remove PR Preview
on:
pull_request:
types:
- closed # This hook is needed to remove the preview when PR is closed.
jobs:
remove-preview:
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Remove preview for Developer Documentation
uses: rossjrw/pr-preview-action@v1
with:
preview-branch: gh-pages
umbrella-dir: pr-preview
source-dir: ./build
action: remove
- name: Remove preview for Concordium Academy
uses: rossjrw/pr-preview-action@v1
with:
preview-branch: gh-pages
umbrella-dir: pr-preview-academy
source-dir: ./build-academy
action: remove