.github/workflows/update_pr.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

name: PR update

on:
  push:
    branches:
      - 'master'
jobs:
  autoupdate:
    runs-on: ubuntu-latest
    if: github.repository == 'cvc5/cvc5'
    steps:
      - name: Automatically update PR
        uses: adRise/update-pr-branch@v0.5.1
        with:
          token: ${{ secrets.ACTION_USER_TOKEN }}
          base: 'master'
          required_approval_count: 1