chore: test adaptation PR CI#14170

Garmelon wants to merge 1 commit into

masterleanprover/lean4:masterfrom

joscha/test-adaptationsleanprover/lean4:joscha/test-adaptationsCopy head branch name to clipboard