The latest articles on DEV Community by Abishek Giri (@abishek08). https://dev.to/abishek08 https://media2.dev.to/dynamic/image/width=90,height=90,fit=cover,gravity=auto,format=auto/https:%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Fuser%2Fprofile_image%2F4138580%2F0631206f-ffb6-4b4f-b6f0-2407fdf6972f.png https://dev.to/abishek08 en Abishek Giri Wed, 23 Sep 2026 03:30:01 +0000 https://dev.to/abishek08/your-github-actions-workflow-says-one-thing-its-execution-paths-say-another-3ldh https://dev.to/abishek08/your-github-actions-workflow-says-one-thing-its-execution-paths-say-another-3ldh <p>A short intro post: the gap between "the YAML looks fine" and "which scenarios can actually run," worked through one example (a deploy reachable with skip_tests=true while tests is skipped). Walks through npx <a href="mailto:ciproof@0.1.0">ciproof@0.1.0</a> check, reading REFUTED / NO VIOLATION FOUND / UNKNOWN, and the GitHub Action. Ends with the honest limits (bounded model; UNKNOWN is not a pass; corpus-specific validation) and an invitation to report false counterexamples. Links: repo, Marketplace, supported-semantics, validation study.</p> automation cicd devops github