Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Enable auto-publication #9

Merged
merged 1 commit into from
Jul 23, 2024
Merged

Enable auto-publication #9

merged 1 commit into from
Jul 23, 2024

Conversation

tidoust
Copy link
Member

@tidoust tidoust commented Jul 22, 2024

@chrisn
Copy link
Member

chrisn commented Jul 22, 2024

Thanks. Can we also merge #8?

@tidoust tidoust merged commit edf8261 into main Jul 23, 2024
2 checks passed
github-actions bot added a commit that referenced this pull request Jul 23, 2024
SHA: edf8261
Reason: push, by tidoust

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@chrisn chrisn deleted the auto-publish branch July 27, 2024 06:41
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants