feat: add GitHub Actions for CI verification workflow#5

Open

astefano wants to merge 20 commits intomasterfrom

la/create_github_actions

Commits on Feb 27, 2026

Commits on Mar 11, 2026

fix: update probe-verus subprocess call from `verify` to `extract`

astefano
and
claude
committed