Skip to content

Refactor and combine save_rule_dialog and save_proof_dialog. #104

Refactor and combine save_rule_dialog and save_proof_dialog.

Refactor and combine save_rule_dialog and save_proof_dialog. #104

Triggered via pull request November 20, 2023 17:23
Status Success
Total duration 1m 21s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

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

Annotations

3 errors
lint (3.9)
Process completed with exit code 30.
lint (3.9)
Process completed with exit code 1.
lint (3.9)
Process completed with exit code 1.