Code

CI: test 8.19.1 instead of 8.19.0#744

Code

Merged

hendriktews merged 1 commit intoProofGeneral:masterProofGeneral/PG:masterfrom hendriktews:ci-updatehendriktews/PG:ci-updateCopy head branch name to clipboardMar 8, 2024

+1

Commits

Commits on Mar 7, 2024

• CI: test 8.19.1 instead of 8.19.0

  Show description for 8b9bbd4
  hendriktews

  committed
  8b9bbd4

  Copy full SHA for 8b9bbd4