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

fix 0 prover issue #175

Merged
merged 2 commits into from
Dec 12, 2023
Merged

fix 0 prover issue #175

merged 2 commits into from
Dec 12, 2023

Commits on Dec 12, 2023

  1. fix 0 prover issue

    @smtmfft
    smtmfft committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    5cd7149 View commit details
    Browse the repository at this point in the history

  2. fix lint

    @smtmfft
    smtmfft committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    c805d38 View commit details
    Browse the repository at this point in the history