CERT-9316 | Stop using PAT

[ozcodes]

Stop using github PAT used by ReportAnalyzer.

• Use secure-repo-access orb to generate temporary github tokens.
• Upgrade cvt image version to the latest version with python3.11 (required by the orb)
• Change pip3.11 to pip
• Add secure_repo_access context (github app private key) to examples-regtest jobs.

[Copilot]

Pull request overview

This PR transitions from using Personal Access Tokens (PAT) to a more secure repository access method by integrating the certora/secure-repo-access orb in CircleCI configuration.

Changes:

• Added the secure-repo-access orb to replace PAT-based authentication
• Updated the ReportAnalysis package installation to use a specific branch
• Modified multiple workflow contexts to include secure_repo_access alongside aws_staging

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

The branch name 'oz/pat' suggests this is related to PAT (Personal Access Token), which contradicts the PR's purpose of removing PAT usage. Consider renaming this branch to better reflect its purpose with the new secure access method.

Suggested change

	pip3.11 install git+ssh://git@github.com-reportanalysis/Certora/ReportAnalysis.git@oz/pat
	pip3.11 install git+ssh://git@github.com-reportanalysis/Certora/ReportAnalysis.git@oz/secure-access

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.