Skip to content

Add a test checking that -pp flags are correctly handled#1630

Open
voodoos wants to merge 2 commits intoocaml:mainfrom
voodoos:test-preprocessing
Open

Add a test checking that -pp flags are correctly handled#1630
voodoos wants to merge 2 commits intoocaml:mainfrom
voodoos:test-preprocessing

Conversation

@voodoos
Copy link
Copy Markdown
Collaborator

@voodoos voodoos commented Jun 22, 2023

@voodoos voodoos added the no changelog Turn off CI changelog-check label Sep 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog Turn off CI changelog-check notify-benchmark-results

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant