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

FloatSafeExit: CodeQL port of C28162 #147

Merged
merged 1 commit into from
Aug 23, 2024

Conversation

jacob-ronstadt
Copy link
Contributor

@jacob-ronstadt jacob-ronstadt commented Aug 20, 2024

Checklist for Pull Requests

  • Description is filled out.
  • Only one query or related query group is in this pull request.
  • The version number on changed queries has been increased via the @version comment in the file header.
  • All unit tests have been run: (Test README.md).
  • Commands codeql database create and codeql database analyze have completed successfully.
  • A .qhelp file has been added for any new queries or updated if changes have been made to an existing query.

@jacob-ronstadt jacob-ronstadt changed the title Port of C28162 FloatSaveExit: CodeQL port of C28162 Aug 21, 2024
@jacob-ronstadt jacob-ronstadt changed the title FloatSaveExit: CodeQL port of C28162 FloatSafeExit: CodeQL port of C28162 Aug 21, 2024
@jacob-ronstadt jacob-ronstadt merged commit 786fda0 into development Aug 23, 2024
6 of 7 checks passed
@jacob-ronstadt jacob-ronstadt deleted the jacob-ronstadt/C28162 branch August 23, 2024 16:57
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