Skip to content

CI: add new test for extending/retracting with huge goals#837

Merged
hendriktews merged 1 commit into
ProofGeneral:masterfrom
hendriktews:extend-long
Jul 15, 2025
Merged

CI: add new test for extending/retracting with huge goals#837
hendriktews merged 1 commit into
ProofGeneral:masterfrom
hendriktews:extend-long

CI: add new test for extending/retracting with huge goals

b05b93d
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.