Skip to content

CI: add new tests for error messages at Qed#833

Merged
hendriktews merged 1 commit into
ProofGeneral:masterfrom
hendriktews:test-sec-error
Jun 9, 2025
Merged

CI: add new tests for error messages at Qed#833
hendriktews merged 1 commit into
ProofGeneral:masterfrom
hendriktews:test-sec-error

CI: add new tests for error messages at Qed

a1b2941
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.