Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Split BuildPending into BuildStarted. #146

Merged
merged 8 commits into from
Aug 2, 2022
Merged

Commits on Jul 29, 2022

  1. Split BuildPending into BuildStarted.

    Here is the change:
    
    BuildPending Nothing              -> BuildPending
    BuildStarted (Just "example.com") -> BuildStarted "example.com"
    
    ... and slightly change the comment wording to "CI job started."
    rudymatela committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    42d0af0 View commit details
    Browse the repository at this point in the history
  2. Refactor viewPullRequest

    rudymatela committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    2ea8024 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a3035bb View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    322e22f View commit details
    Browse the repository at this point in the history
  5. WebInterface: code golf

    rudymatela committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    9efc6d3 View commit details
    Browse the repository at this point in the history
  6. WebInterface: DRY code

    rudymatela committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    82ecce5 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2022

  1. Configuration menu
    Copy the full SHA
    febcaa2 View commit details
    Browse the repository at this point in the history
  2. Merge #146: Split BuildPending into BuildStarted.

    Approved-by: rudymatela
    Auto-deploy: false
    OpsBotPrime committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    12b01d1 View commit details
    Browse the repository at this point in the history