Skip to content

Conversation

surfnerd
Copy link
Contributor

Proposed change(s)

Pragma warnings into the void.

Useful links (Github issues, JIRA tickets, ML-Agents forum threads etc.)

Types of change(s)

  • Bug fix

@surfnerd surfnerd requested a review from ervteng March 15, 2021 23:00
@surfnerd surfnerd self-assigned this Mar 15, 2021
@surfnerd surfnerd merged commit 02c5b9a into main Mar 15, 2021
@delete-merged-branch delete-merged-branch bot deleted the develop-pragma-compile-fix branch March 15, 2021 23:02
surfnerd added a commit that referenced this pull request Mar 15, 2021
surfnerd added a commit that referenced this pull request Mar 15, 2021
@chriselion
Copy link
Contributor

I thought we had warnings as errors in the project - should this have failed CI?

@surfnerd
Copy link
Contributor Author

surfnerd commented Mar 16, 2021 via email

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 16, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants