-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#88 In DeepSec-prover/deepsec_ui;
Error when quitting the application
bugSomething isn't workingSomething isn't workingStatus: Open.#81 In DeepSec-prover/deepsec_ui;Canceling too many time raises an error
bugSomething isn't workingSomething isn't workingStatus: Open.#80 In DeepSec-prover/deepsec_ui;Stderr messages
bugSomething isn't workingSomething isn't workingStatus: Open.#79 In DeepSec-prover/deepsec_ui;Error when manually removing elements from result_files
bugSomething isn't workingSomething isn't workingStatus: Open.#78 In DeepSec-prover/deepsec_ui;Prevent dragable ActionPopup when focus on the editable recipe
enhancementNew feature or requestNew feature or requestStatus: Open.#77 In DeepSec-prover/deepsec_ui;Change the font of filter menu in result page
enhancementNew feature or requestNew feature or requestStatus: Open.#76 In DeepSec-prover/deepsec_ui;Deal with result in the database but not in the result directory
enhancementNew feature or requestNew feature or requestStatus: Open.#75 In DeepSec-prover/deepsec_ui;Tab "runs" in result page
enhancementNew feature or requestNew feature or requestStatus: Open.#74 In DeepSec-prover/deepsec_ui;Bookmark a batch, run or query
enhancementNew feature or requestNew feature or requestStatus: Open.#73 In DeepSec-prover/deepsec_ui;Auto focus actions
enhancementNew feature or requestNew feature or requestuiRelated to user interfaceRelated to user interfaceStatus: Open.#56 In DeepSec-prover/deepsec_ui;Build Linux + Mac package from anywhere
enhancementNew feature or requestNew feature or requestStatus: Open.#54 In DeepSec-prover/deepsec_ui;