You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
modified: src/automerge.py (#5)
ithub/workflows/test.yaml
- Updating workflow test to use the GH APP credentials
modified: README.md
- Modifying instructions and information needed for github and what
permissions are needed for the github App
Fix commit message options -- Rework Update/Merge Logic (#4)
* Update workflow to use debug mode by choice, not required. Update action to include use of dry-run. Change test Yaml to point to special repository for testing
* Test workflow now with dry-run as an option from the workflow action
* pass flag --dry-run instead of bool
* Updating instructions. Fixing usage of Github function merge()
* Update README about test execution and purpose. Try and set output from action to enable validation of test results when action completes with a results output. Update automerge to cleanly handle buckets of PRs to pass/updated, pass/outofdate, and failed/pending scenarios
---------
Co-authored-by: devops <devops@runtimeverification.com>
Update workflow (#2)
Adding clean commit message from automerger, includes link to PR and PR name.
Cleaning up workflow tests, now utilizing automerger-test to run against a repository testing valid PR states.