FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Check compiled code on each push by henrymercer · Pull Request #2398 · github/codeql-action · GitHub

Check compiled code on each push - #2398

Merged
henrymercer merged 1 commit into
mainfrom
henrymercer/compile-check-on-push
Jul 31, 2024
Merged

henrymercer merged 1 commit into
mainfrom
henrymercer/compile-check-on-push

Conversation

henrymercer commented Jul 30, 2024
edited
Loading

Copy link
Copy Markdown
Contributor

A common mistake is forgetting to compile the code. Ideally, this wouldn't be necessary, but in the meantime, this change gives a visible indication on the commit when the code hasn't been recompiled.

Caveat: we will run duplicate "Check JS" jobs for push and pull_request when the commit is part of a pull request.

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Confirm the readme has been updated if necessary.
  • Confirm the changelog has been updated if necessary.

A common mistake is forgetting to compile the code.
Ideally, this wouldn't be necessary, but in the meantime, this change gives a visible indication on the commit when the code hasn't been recompiled.
henrymercer requested a review from a team as a code owner July 30, 2024 17:48
henrymercer merged commit 159c618 into main Jul 31, 2024
henrymercer deleted the henrymercer/compile-check-on-push branch July 31, 2024 09:32
github-actions Bot mentioned this pull request Aug 6, 2024
8 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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.

2 participants


Back | FazBrowse Home | New Git URL