Skip to content

fix: run update doc job with PR events#6

Merged
jcabannes merged 1 commit intomasterfrom
fix-update-doc-in-pr
Jan 9, 2024
Merged

fix: run update doc job with PR events#6
jcabannes merged 1 commit intomasterfrom
fix-update-doc-in-pr

Conversation

@jcabannes
Copy link
Copy Markdown
Member

No description provided.

@jcabannes jcabannes self-assigned this Jan 9, 2024
@jcabannes jcabannes force-pushed the fix-update-doc-in-pr branch from 8ac8408 to c23ce7c Compare January 9, 2024 16:05
@jcabannes jcabannes force-pushed the fix-update-doc-in-pr branch from c23ce7c to e77cce3 Compare January 9, 2024 16:07
@jcabannes jcabannes merged commit 3bf2e7c into master Jan 9, 2024
@jcabannes jcabannes deleted the fix-update-doc-in-pr branch January 9, 2024 16:15
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.

2 participants