Skip to content
This repository was archived by the owner on Apr 5, 2024. It is now read-only.

deps(grammars): update grammars#318

Merged
Alxandr merged 1 commit intomainfrom
bot/update-grammars
Mar 24, 2023
Merged

deps(grammars): update grammars#318
Alxandr merged 1 commit intomainfrom
bot/update-grammars

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Mar 2, 2023

Grammar files automatically updated.

@github-actions github-actions bot added automerge dependencies Pull requests that update a dependency file labels Mar 2, 2023
@github-actions github-actions bot force-pushed the bot/update-grammars branch 3 times, most recently from ca91c7b to 50ba881 Compare March 16, 2023 02:35
@github-actions github-actions bot force-pushed the bot/update-grammars branch from 50ba881 to 8677d9b Compare March 20, 2023 02:38
@github-actions github-actions bot force-pushed the bot/update-grammars branch from 8677d9b to abf0943 Compare March 22, 2023 02:28
@github-actions github-actions bot force-pushed the bot/update-grammars branch from abf0943 to 8e548c0 Compare March 24, 2023 02:29
@Alxandr Alxandr merged commit 4c441e0 into main Mar 24, 2023
@Alxandr Alxandr deleted the bot/update-grammars branch March 24, 2023 09:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automerge dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant