CI: replace Coq 8.20.0 with Coq 8.20.1#807

Merged

hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:ci-update

Jan 25, 2025

+46-59

Commits on Jan 23, 2025

CI: replace Coq 8.20.0 with Coq 8.20.1
hendriktews
committed