Skip to content

Harris Sheet development merge Aug 7, 2024 #4

Harris Sheet development merge Aug 7, 2024

Harris Sheet development merge Aug 7, 2024 #4

Workflow file for this run

name: PostPR
on:
pull_request:
types:
- closed
jobs:
cleanup:
runs-on: ubuntu-latest
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