Skip to content

Refactor and combine save_rule_dialog and save_proof_dialog. #93

Refactor and combine save_rule_dialog and save_proof_dialog.

Refactor and combine save_rule_dialog and save_proof_dialog. #93

Triggered via pull request November 20, 2023 17:23
Status Success
Total duration 1m 6s
Artifacts

test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in