You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@ozone.apache.org by "Siyao Meng (Jira)" <ji...@apache.org> on 2026/08/03 22:41:00 UTC

[jira] [Assigned] (HDDS-16079) Formal verification for snapshot install with TLA+

     [ https://issues.apache.org/jira/browse/HDDS-16079?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Siyao Meng reassigned HDDS-16079:
---------------------------------

    Assignee: Siyao Meng

> Formal verification for snapshot install with TLA+
> --------------------------------------------------
>
>                 Key: HDDS-16079
>                 URL: https://issues.apache.org/jira/browse/HDDS-16079
>             Project: Apache Ozone
>          Issue Type: Sub-task
>            Reporter: Siyao Meng
>            Assignee: Siyao Meng
>            Priority: Major
>
> Tracks formal verification effort for snapshot (not filesystem/bucket snapshot) install with TLA+



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@ozone.apache.org
For additional commands, e-mail: issues-help@ozone.apache.org