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

Conversation

irnb
Copy link
Collaborator

@irnb irnb commented Jul 22, 2024

What ❔

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.

@irnb irnb marked this pull request as draft July 22, 2024 07:39
@irnb irnb closed this Jul 25, 2024
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.

1 participant