-23

.github/workflows/clean-pr-env.yml

reviewed

··· 1 1 - name: Clean PR Environment 2 2 - on: 3 3 - pull_request: 4 4 - types: 5 5 - - closed 6 6 - jobs: 7 7 - cleanup-gh: 8 8 - runs-on: ubuntu-latest 9 9 - permissions: write-all 10 10 - steps: 11 11 - - uses: actions/checkout@v6 12 12 - - name: get github app token 13 13 - uses: navikt/github-app-token-generator@793caf0d755fb4d6e88150825f680f188535cb48 14 14 - id: get-token 15 15 - with: 16 16 - app-id: ${{ secrets.GH_APP_CLEANER_ID }} 17 17 - private-key: ${{ secrets.GH_APP_CLEANER_PRIVATE_KEY }} 18 18 - - name: delete pr environment 19 19 - uses: strumwolf/delete-deployment-environment@v3.0.0 20 20 - with: 21 21 - token: ${{ steps.get-token.outputs.token }} 22 22 - environment: pr-${{ github.event.number }} 23 23 - ref: ${{ github.ref_name }}

+3 -1

.github/workflows/pages.yml

reviewed

··· 2 2 name: "Pages" 3 3 on: 4 4 push: 5 5 - branches: [stable] 5 5 + branches: 6 6 + - stable 7 7 + - trunk 6 8 workflow_dispatch: 7 9 jobs: 8 10 pre-job: