chore: CI: re-enable mistakenly deactivated tests for Linux Lake#10788

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-mwrwvwzysynoKha/lean4:push-mwrwvwzysynoCopy head branch name to clipboard