ci: remove E2E tests from CI workflow#101

eluce2 merged 1 commit intomainproofgeist/proofkit:mainfrom

01-12-ci_remove_e2e_tests_from_ci_workflowproofgeist/proofkit:01-12-ci_remove_e2e_tests_from_ci_workflowCopy head branch name to clipboard