Skip to content
This repository was archived by the owner on Aug 20, 2021. It is now read-only.
This repository was archived by the owner on Aug 20, 2021. It is now read-only.

fetch running proofs #400

Open
Open
fetch running proofs#400
Labels
enhancementNew feature or request
@asymmetric

Description

@asymmetric
asymmetric
opened on Apr 14, 2020

See #398 (review).

Right now, savelogs is called only when a proof has finished.

The idea is to (also/only) have it run in response to a fetch.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions