projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d83a43) | patch
Use newer version of update-pr-branch action. (#6315)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 8 Apr 2021 20:52:19 +0000 (22:52 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Apr 2021 20:52:19 +0000 (13:52 -0700)
commite76ae145cdcf725d7d7dd3922d819539a7dc0e22
tree1046c66be3d672e1c337d3f44370ddbc0fc23d58tree
parent3d83a435f3d9108c6457d4058ba5262d0d72634ecommit | diff
Use newer version of update-pr-branch action. (#6315)

The CI action we use to update PRs that are ready to merge has been updated and now only considers the last review of every reviewer. It now allows to automatically update (and then merge) PRs where a reviewer first requested changes, and then accepted the PR. See adRise/update-pr-branch#11 for more details.
This PR bumps the version to the most recent one.
.github/workflows/update_pr.yml diff | blob | history