Skip to content

Tags: runtimeverification/automerge

Tags

v1.0.4

Toggle v1.0.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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

beta

Toggle beta's commit message
New beta release for testing

v1.0.3

Toggle v1.0.3's commit message

Unverified

This user has not yet uploaded their public signing key.
add debug mode to test w/ comment

v1.0.2

Toggle v1.0.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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>

v1.0.1

Toggle v1.0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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.

1.0.0

Toggle 1.0.0's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
F-WRunTime Freeman
Release ready clean-up

v1.0.0

Toggle v1.0.0's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
F-WRunTime Freeman
Release ready clean-up

v0.1.2

Toggle v0.1.2's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
F-WRunTime Freeman
Use git provided action_path

v0.1.1

Toggle v0.1.1's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
F-WRunTime Freeman
Need to reference where the script is installed on the host

v0.1.0

Toggle v0.1.0's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
F-WRunTime Freeman
From testing, update misleading print message in logs