Skip to content

Update ci to check make output for GPTL#3

Open
robgpita wants to merge 1 commit into
developfrom
robgonzalezpita-VERBOSE=1
Open

Update ci to check make output for GPTL#3
robgpita wants to merge 1 commit into
developfrom
robgonzalezpita-VERBOSE=1

Conversation

@robgpita

@robgpita robgpita commented Jun 2, 2021

Copy link
Copy Markdown
Owner

Proposed changes

Describe the big picture of your changes here to communicate what they accomplish and why this pull request should be accepted.

If it fixes a bug or resolves a feature request, be sure to link to that issue.

If it depends on other pull requests, be sure to list and link those dependencies.

Types of changes

What types of changes does your code introduce?
Put an x in all the boxes that apply

  • Bugfix (Change which fixes an issue)
  • New feature (Change which adds functionality)
  • Enhancement to existing functionality (non-breaking change which improves existing code or documentation)
  • Breaking change (fix or feature that changes results and requires updates to test baselines)
  • Documentation Update

Checklist

Put an x in the boxes that apply. You can also fill these out after creating the PR. If you're unsure about any of them, don't hesitate to ask. We're here to help! This is simply a reminder of what we are going to look for before merging your code.

  • I have read the CONTRIBUTING document
  • I have ensured all my changes contribute to a common purpose
  • I have verified my change does not add debug code
  • I have verified my change does not add code that is commented out
  • I have verified unit tests pass locally with my changes
  • I have verified my changes adhere to style guidelines
  • I have added tests that prove my fix is effective or that my feature works
  • I have added necessary documentation (if appropriate)

Further comments

If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant