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

Deprecate repository #19

Merged
merged 1 commit into from
Aug 15, 2024
Merged

Deprecate repository #19

merged 1 commit into from
Aug 15, 2024

Conversation

popzxc
Copy link
Member

@popzxc popzxc commented Aug 15, 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.

@ml-ia ml-ia merged commit 7bd56a6 into master Aug 15, 2024
2 checks passed
@ml-ia ml-ia deleted the popzxc-patch-1 branch August 15, 2024 07:29
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.

3 participants