Skip to content

Check that docs deploy #130

Check that docs deploy

Check that docs deploy #130

Workflow file for this run

name: PostPR
on:
pull_request:
types:
- closed
jobs:
cleanup:
runs-on: ubuntu-24.04
steps:
- name: Save PR number
env:
PR_NUMBER: ${{ github.event.number }}
run: |
echo $PR_NUMBER > pr_number.txt
- uses: actions/upload-artifact@v4
with:
name: pr_number
path: pr_number.txt
retention-days: 1