Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 18, 2018

• Merge pull request #13 from joshdk/feature/cleanup

  joshdk

  committedMar 18, 2018
  90971ac

• Small code cleanup

  joshdk

  committedMar 18, 2018
  6df010c

• Merge pull request #12 from joshdk/feature/usage-docs

  joshdk

  committedMar 18, 2018
  147c34e

• Documentation of tool usage

  joshdk

  committedMar 18, 2018
  ef4f77d

Commits on Dec 28, 2017

• Merge pull request #11 from joshdk/feature/version

  joshdk

  committedDec 28, 2017
  4691726

• Version information in help text

  joshdk

  committedDec 28, 2017
  aecf794

• Merge pull request #10 from joshdk/feature/dist

  joshdk

  committedDec 28, 2017
  bacfdc5

• Build dists as part of CI

  joshdk

  committedDec 28, 2017
  12df933

• Configuration for Godel dist building

  joshdk

  committedDec 28, 2017
  22664ff

Commits on Dec 26, 2017

• Merge pull request #9 from joshdk/feature/client

  joshdk

  committedDec 26, 2017
  399a54d

• Triggering of CircleCI builds

  joshdk

  committedDec 26, 2017
  eda1a93

• Limited CircleCI API client

  joshdk

  committedDec 26, 2017
  86c9bf3

Commits on Dec 24, 2017

• Merge pull request #8 from joshdk/feature/flag-validation

  joshdk

  committedDec 24, 2017
  471a1ab

• Validation for command flags

  joshdk

  committedDec 24, 2017
  325b83b

Commits on Dec 22, 2017

• Merge pull request #7 from joshdk/feature/split-project

  joshdk

  committedDec 22, 2017
  8c3b43c

• Correctness tests

  joshdk

  committedDec 22, 2017
  c307387

• Splitting of project name

  joshdk

  committedDec 22, 2017
  bf2ad78

Commits on Dec 20, 2017

• Merge pull request #6 from joshdk/feature/split

  joshdk

  committedDec 20, 2017
  70cfedf

• Correctness tests

  joshdk

  committedDec 20, 2017
  370ed44

• Splitting of build parameters

  joshdk

  committedDec 20, 2017
  dd7da7a

• Vendored dependencies

  joshdk

  committedDec 20, 2017
  12c823e

Commits on Dec 14, 2017

• Merge pull request #5 from joshdk/feature/readme

  joshdk

  committedDec 14, 2017
  ca5f03f

• Basic readme

  joshdk

  committedDec 14, 2017
  7c6ca76

• Merge pull request #4 from joshdk/feature/env-vars

  joshdk

  committedDec 14, 2017
  ac17b7a

• Parsing of relevant environment variables

  joshdk

  committedDec 14, 2017
  55c870f

• Merge pull request #3 from joshdk/feature/cci

  joshdk

  committedDec 14, 2017
  b83c897

• Unvendor unused dependencies

  joshdk

  committedDec 14, 2017
  b592655

• License headers

  joshdk

  committedDec 14, 2017
  bb37dd4

• CircleCI build configuration

  joshdk

  committedDec 14, 2017
  cacbd0b

• Merge pull request #2 from joshdk/boilerplate/godel

  joshdk

  committedDec 14, 2017
  b34efb7

• Godel boilerplate and an MIT license

  joshdk

  committedDec 14, 2017
  41164e8

• Merge pull request #1 from joshdk/feature/cli-args

  joshdk

  committedDec 14, 2017
  65a0827

• Basic parsing for cli arguments

  joshdk

  committedDec 14, 2017
  82aac93

• Vendored dependencies

  joshdk

  committedDec 14, 2017
  38cc9d2

• Initial commit

  joshdk

  committedDec 14, 2017
  5a40a26