All workflows

Workflow runs

• Merge pull request #26 from waleedcodes/pr-26-src-ui-codeLensProvider

  failed:
  CI#30:Commitc365bfbpushedbywaleedcodes
  working

  Oct 9, 20261m 4s
  More actions for workflow run 30

• feat(ui/codelens): implement ProofCodeCodeLensProvider for inline editor symbol impact

  failed:
  CI#29:Pull request#26openedbywaleedcodes
  pr-26-src-ui-codeLensProvider

  Oct 9, 20261m 3s
  More actions for workflow run 29

• Merge pull request #25 from waleedcodes/pr-25-src-ui-treeDataProvider

  failed:
  CI#28:Commit540603cpushedbywaleedcodes
  working

  Oct 9, 20261m 6s
  More actions for workflow run 28

• feat(ui/tree): implement ProofCodeTreeDataProvider for VS Code Activity Bar overview

  failed:
  CI#27:Pull request#25openedbywaleedcodes
  pr-25-src-ui-treeDataProvider

  Oct 9, 20261m 8s
  More actions for workflow run 27

• Merge pull request #24 from waleedcodes/pr-24-src-engine-reportFormatter

  failed:
  CI#26:Commita778451pushedbywaleedcodes
  working

  Oct 9, 20261m 11s
  More actions for workflow run 26

• feat(formatters): implement Markdown, Terminal, and JSON verification report formatters

  failed:
  CI#25:Pull request#24openedbywaleedcodes
  pr-24-src-engine-reportFormatter

  Oct 9, 20261m 9s
  More actions for workflow run 25

• Merge pull request #23 from waleedcodes/pr-23-src-engine-proofCodeEng…

  failed:
  CI#24:Commitbbbabe6pushedbywaleedcodes
  working

  Oct 9, 20261m 13s
  More actions for workflow run 24

• feat(engine/breakage): implement What Could This Change Break regression prediction engine

  failed:
  CI#23:Pull request#23openedbywaleedcodes
  pr-23-src-engine-proofCodeEngine-part2

  Oct 9, 20261m 13s
  More actions for workflow run 23

• Merge pull request #22 from waleedcodes/pr-22-src-engine-proofCodeEng…

  failed:
  CI#22:Commit901332fpushedbywaleedcodes
  working

  Oct 9, 20261m 10s
  More actions for workflow run 22

• feat(engine/core): implement ProofCodeEngine verification orchestrator and score calculator

  failed:
  CI#21:Pull request#22openedbywaleedcodes
  pr-22-src-engine-proofCodeEngine-part1

  Oct 9, 20261m 5s
  More actions for workflow run 21

• Merge pull request #21 from waleedcodes/pr-21-src-test-runner-testRunner

  failed:
  CI#20:Commit8440008pushedbywaleedcodes
  working

  Oct 9, 20261m 15s
  More actions for workflow run 20

• feat(runner): implement TestRunner with package manager auto-detection and check execution

  failed:
  CI#19:Pull request#21openedbywaleedcodes
  pr-21-src-test-runner-testRunner

  Oct 9, 20261m 18s
  More actions for workflow run 19

• Merge pull request #20 from waleedcodes/pr-20-src-rules-projectRulesE…

  failed:
  CI#18:Commit0c5c05fpushedbywaleedcodes
  working

  Oct 9, 20261m 12s
  More actions for workflow run 18

• feat(rules/project): implement ProjectRulesEngine for .proofcode/rules.md policy evaluation

  failed:
  CI#17:Pull request#20openedbywaleedcodes
  pr-20-src-rules-projectRulesEngine

  Oct 9, 20261m 11s
  More actions for workflow run 17

• Merge pull request #19 from waleedcodes/pr-19-src-rules-riskEngine-part2

  failed:
  CI#16:Commit2a25102pushedbywaleedcodes
  working

  Oct 9, 20261m 8s
  More actions for workflow run 16

• feat(rules/reliability): add unhandled null database results and async error handling detectors

  failed:
  CI#15:Pull request#19openedbywaleedcodes
  pr-19-src-rules-riskEngine-part2

  Oct 9, 20261m 13s
  More actions for workflow run 15

• Merge pull request #18 from waleedcodes/pr-18-src-rules-riskEngine-part1

  failed:
  CI#14:Commit82768b9pushedbywaleedcodes
  working

  Oct 9, 20261m 7s
  More actions for workflow run 14

• feat(rules/risk): implement deterministic static security rules for SQLi, auth, secrets, and SSRF

  failed:
  CI#13:Pull request#18openedbywaleedcodes
  pr-18-src-rules-riskEngine-part1

  Oct 9, 20261m 16s
  More actions for workflow run 13

• Merge pull request #17 from waleedcodes/pr-17-src-graph-projectGraph

  failed:
  CI#12:Commita62d0f1pushedbywaleedcodes
  working

  Oct 9, 20261m 17s
  More actions for workflow run 12

• feat(graph/project): implement ProjectGraph dependency resolution and change impact blast radius

  failed:
  CI#11:Pull request#17openedbywaleedcodes
  pr-17-src-graph-projectGraph

  Oct 9, 20261m 12s
  More actions for workflow run 11

• Merge pull request #16 from waleedcodes/pr-16-src-analyzer-astAnalyzer

  failed:
  CI#10:Commitd0bb376pushedbywaleedcodes
  working

  Oct 9, 20261m 14s
  More actions for workflow run 10

• feat(analyzer/ast): implement AST symbol parser with Next.js App and Pages router route detection

  failed:
  CI#9:Pull request#16openedbywaleedcodes
  pr-16-src-analyzer-astAnalyzer

  Oct 9, 20261m 3s
  More actions for workflow run 9

• Merge pull request #15 from waleedcodes/pr-15-src-git-gitService

  failed:
  CI#8:Commite1e21f5pushedbywaleedcodes
  working

  Oct 9, 20261m 11s
  More actions for workflow run 8

• feat(git/service): implement GitService for status inspection, diff extraction, and untracked files

  failed:
  CI#7:Pull request#15openedbywaleedcodes
  pr-15-src-git-gitService

  Oct 9, 20261m 5s
  More actions for workflow run 7

• Merge pull request #14 from waleedcodes/pr-14-src-git-diffParser

  failed:
  CI#6:Commit79def1fpushedbywaleedcodes
  working

  Oct 9, 20261m 11s
  More actions for workflow run 6