Skip to content

Actions: research-engineering/agentic-proofkit

Actions

semantic-diff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semantic-diff.yml
113 workflow runs
113 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: clarify adoption and daily project workflow semantic-diff #113: Pull request #108 opened by iperev
11s feature/readme-project-workflow
feature/readme-project-workflow
11s
feat: open the project workspace with view semantic-diff #112: Pull request #107 opened by iperev
13s feature/project-browser-entry
feature/project-browser-entry
13s
Add bounded browser evidence inspection semantic-diff #111: Pull request #106 opened by iperev
12s feature/browser-evidence-inspection
feature/browser-evidence-inspection
12s
feat: improve browser lookup and workspace navigation semantic-diff #110: Pull request #105 opened by iperev
9s feature/browser-workspace-navigation
feature/browser-workspace-navigation
9s
feat: add managed agent integration lifecycle semantic-diff #109: Pull request #104 opened by iperev
9s feature/managed-agent-lifecycle
feature/managed-agent-lifecycle
9s
fix: keep descriptive transaction plans non-executable semantic-diff #108: Pull request #103 opened by iperev
9s fix/transaction-plan-construction
fix/transaction-plan-construction
9s
Add portable agent bootstrap sources and freshness checks semantic-diff #107: Pull request #101 opened by iperev
9s feature/thin-agent-integrations
feature/thin-agent-integrations
9s
Add bounded project status workflow semantic-diff #106: Pull request #100 ready_for_review by iperev
11s feature/project-status-workflow
feature/project-status-workflow
11s
Add bounded project status workflow semantic-diff #105: Pull request #100 synchronize by iperev
12s feature/project-status-workflow
feature/project-status-workflow
12s
Add bounded project status workflow semantic-diff #104: Pull request #100 opened by iperev
15s feature/project-status-workflow
feature/project-status-workflow
15s
Add transactional adoption materialization semantic-diff #103: Pull request #99 opened by iperev
10s feature/transactional-adoption
feature/transactional-adoption
10s
Add explicit adoption planning front door semantic-diff #102: Pull request #98 opened by iperev
12s feature/adoption-front-door
feature/adoption-front-door
12s
Add bounded agent routing packets semantic-diff #101: Pull request #97 opened by iperev
12s feature/adoption-experience-foundation
feature/adoption-experience-foundation
12s
chore(deps-dev): bump axe-core from 4.12.1 to 4.13.0 semantic-diff #100: Pull request #88 synchronize by dependabot Bot
13s dependabot/npm_and_yarn/axe-core-4.13.0
dependabot/npm_and_yarn/axe-core-4.13.0
13s
chore(deps-dev): bump @playwright/test from 1.62.0 to 1.62.1 semantic-diff #99: Pull request #86 synchronize by dependabot Bot
12s dependabot/npm_and_yarn/playwright/test-1.62.1
dependabot/npm_and_yarn/playwright/test-1.62.1
12s
Add bounded requirement source codec selection semantic-diff #98: Pull request #96 opened by iperev
13s feature/source-codec-experiment
feature/source-codec-experiment
13s
chore(deps): bump the codeql-action group across 1 directory with 3 updates semantic-diff #97: Pull request #83 synchronize by dependabot Bot
14s dependabot/github_actions/codeql-action-432e0d4de6
dependabot/github_actions/codeql-action-432e0d4de6
14s
chore(deps-dev): bump @playwright/test from 1.62.0 to 1.62.1 semantic-diff #96: Pull request #86 synchronize by dependabot Bot
1m 57s dependabot/npm_and_yarn/playwright/test-1.62.1
dependabot/npm_and_yarn/playwright/test-1.62.1
1m 57s
chore(deps-dev): bump axe-core from 4.12.1 to 4.13.0 semantic-diff #95: Pull request #88 synchronize by dependabot Bot
39s dependabot/npm_and_yarn/axe-core-4.13.0
dependabot/npm_and_yarn/axe-core-4.13.0
39s
chore(deps): bump golang.org/x/tools from 0.47.0 to 0.49.0 semantic-diff #94: Pull request #93 synchronize by dependabot Bot
38s dependabot/go_modules/golang.org/x/tools-0.49.0
dependabot/go_modules/golang.org/x/tools-0.49.0
38s
chore(deps): bump golang.org/x/mod from 0.37.0 to 0.40.0 semantic-diff #93: Pull request #94 synchronize by dependabot Bot
14s dependabot/go_modules/golang.org/x/mod-0.40.0
dependabot/go_modules/golang.org/x/mod-0.40.0
14s
chore(deps): bump pypa/gh-action-pypi-publish from 1.14.1 to 1.14.2 semantic-diff #92: Pull request #85 synchronize by dependabot Bot
10s dependabot/github_actions/pypa/gh-action-pypi-publish-1.14.2
dependabot/github_actions/pypa/gh-action-pypi-publish-1.14.2
10s
chore(deps): bump ossf/scorecard-action from 2.4.3 to 2.4.4 semantic-diff #91: Pull request #84 synchronize by dependabot Bot
9s dependabot/github_actions/ossf/scorecard-action-2.4.4
dependabot/github_actions/ossf/scorecard-action-2.4.4
9s
Add bounded agent workflow planning and evidence guidance semantic-diff #90: Pull request #95 synchronize by iperev
9s feature/agent-workflow-compiler
feature/agent-workflow-compiler
9s
Add bounded agent workflow planning and evidence guidance semantic-diff #89: Pull request #95 opened by iperev
13s feature/agent-workflow-compiler
feature/agent-workflow-compiler
13s