Skip to content

[Scheduled-query] Suppress warning from antlr 4.9.3#5127

Merged
kairu-ms merged 1 commit intoAzure:mainfrom
kairu-ms:fix-schedule-query-update-altr
Jul 19, 2022
Merged

[Scheduled-query] Suppress warning from antlr 4.9.3#5127
kairu-ms merged 1 commit intoAzure:mainfrom
kairu-ms:fix-schedule-query-update-altr

Conversation

@kairu-ms
Copy link
Copy Markdown
Contributor


This checklist is used to make sure that common guidelines for a pull request are followed.

Related command

General Guidelines

  • Have you run azdev style <YOUR_EXT> locally? (pip install azdev required)
  • Have you run python scripts/ci/test_index.py -q locally?

For new extensions:

About Extension Publish

There is a pipeline to automatically build, upload and publish extension wheels.
Once your pull request is merged into main branch, a new pull request will be created to update src/index.json automatically.
The precondition is to put your code inside this repository and upgrade the version in the pull request but do not modify src/index.json.

@kairu-ms kairu-ms requested a review from jsntcy as a code owner July 18, 2022 09:01
@kairu-ms kairu-ms requested a review from necusjz July 18, 2022 09:02
@yonzhan
Copy link
Copy Markdown
Collaborator

yonzhan commented Jul 18, 2022

Scheduled-query

@kairu-ms kairu-ms merged commit 3ff68f7 into Azure:main Jul 19, 2022
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.

3 participants