Merge pull request #112 from mattpolzin/ci-executable-check

add a simple executable check to CI

.github/workflows/test.yml

@@ -28,6 +28,10 @@ jobs:
  idris2 --version
  echo ''
  make
+ - name: Check Executable
+ run: |
+ ./harmony help > output.txt
+ git diff --no-index -- test/expected_help.txt output.txt
 # - name: Test
 # run: make test
 
@@ -48,6 +52,10 @@ jobs:
  idris2 --version
  echo ''
  make
+ - name: Check Executable
+ run: |
+ ./harmony help > output.txt
+ git diff --no-index -- test/expected_help.txt output.txt
 # - name: Test
 # run: make test
 

test/expected_help.txt

@@ -0,0 +1,65 @@
+harmony <subcommand>
+
+Subcommands:
+ help
+ - Print help
+ version
+ - Print version
+ config {<property>} [<value>]
+ - Get or set the value of a configuration property. Not all properties
+ can be set and read via this subcommand.
+ properties: assignTeams, assignUsers, commentOnAssign, defaultRemote, githubPAT.
+ sync
+ - Synchronize local config with information from GitHub.
+ branch
+ - Print the GitHub URI for the currently checked out branch.
+ pr [--draft] [#<label>] [...]
+ - Identify an existing PR or create a new one for the current branch.
+
+ Optionally apply any number of labels by prefixing them with '#'.
+
+ contribute [-c/--checkout] [-<num>] [-i/--ignore {<uri>/<pr-number>}]
+ - Contribute to an open PR. Prints a URL. Prioritizes PRs you are
+ requested to review but will also return other PRs.
+
+ Use dash followed by a number (e.g. '-3') to skip that number of
+ potential PRs and return the next.
+
+ Specify a PR to ignore (only affects the local Harmony config on
+ this machine) if you would like to more permanently skip a potential
+ PR. Do this with the '--ignore' option followed by a GitHub URI or
+ Pull Request number.
+ whoami
+ - Print information about the configured and authenticated user.
+ reflect
+ - Reflect on the current state of ones own PRs and review requests.
+ list {<team-slug>}
+ - List the members of the given GitHub Team.
+ graph [-c/--completed] {<team-slug>}
+ - Graph the relative review workload of the members of the given GitHub Team.
+ health
+ - Graph all open PRs grouped by the month they were created.
+ label {<label>} [...]
+ - Add one or more labels to a PR, creating a new PR if one does not exist.
+ Labels that do not exist yet will be created automatically.
+ assign {<team-slug> | +<user-login>} [#<label>] [...]
+ - Assign the given team(s) and one lucky member from one of those teams
+ to review the PR for the current branch.
+
+ Also assign any users with logins specified. You specify these
+ additional users by prefixing their logins with '+'.
+
+ Optionally apply any number of labels by prefixing them with '#'.
+
+Bash Completion:
+ You can set up bash completion by adding the following to your resource
+ or bash profile:
+
+ eval "$(harmony --bash-completion-script)"
+
+ Zsh users will also need to have the following in their resource or
+ zsh profile before the above eval:
+
+ autoload -U +X compinit && compinit
+ autoload -U +X bashcompinit && bashcompinit
+