Test project and CI pipeline#1

fraware wants to merge 1 commit intomainSentinelOps-CI/spec-to-proof:mainfrom

cursor/test-project-and-ci-pipeline-4eebSentinelOps-CI/spec-to-proof:cursor/test-project-and-ci-pipeline-4eebCopy head branch name to clipboard