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

revert: Remove CodeQL analysis #2

Merged
merged 1 commit into from
Oct 28, 2020
Merged

revert: Remove CodeQL analysis #2

merged 1 commit into from
Oct 28, 2020

Conversation

alan-churley
Copy link
Contributor

Issue #, if available:

Description of changes:

Removing CodeQL analysis workflow, as it will fail until the repo is public

Checklist

Breaking change checklist

RFC issue #:

  • Migration process documented
  • Implement warnings (if it can live side by side)

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@alan-churley alan-churley changed the title revert:Remove CodeQL analysis revert: Remove CodeQL analysis Oct 28, 2020
@github-actions
Copy link
Contributor

Total Coverage: 100.00%

Coverage Report
File Branch Funcs Lines Uncovered Lines
src
   index.ts 100% 100% 100%
src/greeter
   index.ts 100% 100% 100%

@alan-churley alan-churley merged commit ae4ce13 into main Oct 28, 2020
@alan-churley alan-churley deleted the revert/RemoveCodeQL branch October 28, 2020 17:48
@heitorlessa heitorlessa added the internal PRs that introduce changes in governance, tech debt and chores (linting setup, baseline, etc.) label Jan 5, 2022
alex-m-aws pushed a commit that referenced this pull request Jan 17, 2022
dreamorosi pushed a commit that referenced this pull request Jan 17, 2022
* Improve examples/cdk/README.md

* Address PR comments on README update

* Addres PR comments #2
@github-actions github-actions bot added the pending-release This item has been merged and will be released soon label Sep 19, 2022
@dreamorosi dreamorosi removed the pending-release This item has been merged and will be released soon label Jun 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal PRs that introduce changes in governance, tech debt and chores (linting setup, baseline, etc.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants