Skip to content
This repository has been archived by the owner on Jul 23, 2024. It is now read-only.

bump widgets RELEASE #82

Merged
merged 1 commit into from
Jun 9, 2024
Merged

bump widgets RELEASE #82

merged 1 commit into from
Jun 9, 2024

Conversation

nirgur
Copy link
Collaborator

@nirgur nirgur commented Jun 9, 2024

Related Issues

Fixes <link_to_github_issue>

Related PRs

branch PR
service a PR Link to PR
service b PR Link to PR

Description

A few sentences describing the overall goals of the pull request's commits.

Must

  • Tests
  • Documentation (if applicable)

@nirgur nirgur requested a review from dorsha June 9, 2024 09:43
@nirgur nirgur enabled auto-merge (squash) June 9, 2024 09:46
@nirgur nirgur merged commit 08bb18c into main Jun 9, 2024
7 checks passed
@nirgur nirgur deleted the bumpWidgets1 branch June 9, 2024 09:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants