Skip to content

Actions: research-engineering/agentic-proofkit

Actions

semantic-diff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semantic-diff.yml
88 workflow runs
88 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
chore(deps): bump the codeql-action group across 1 directory with 3 updates semantic-diff #88: Pull request #83 synchronize by dependabot Bot
9s dependabot/github_actions/codeql-action-432e0d4de6
dependabot/github_actions/codeql-action-432e0d4de6
9s
chore(deps): bump golang.org/x/mod from 0.37.0 to 0.40.0 semantic-diff #87: Pull request #94 opened by dependabot Bot
15s dependabot/go_modules/golang.org/x/mod-0.40.0
dependabot/go_modules/golang.org/x/mod-0.40.0
15s
chore(deps): bump golang.org/x/tools from 0.47.0 to 0.49.0 semantic-diff #86: Pull request #93 opened by dependabot Bot
14s dependabot/go_modules/golang.org/x/tools-0.49.0
dependabot/go_modules/golang.org/x/tools-0.49.0
14s
Complete the 0.4.0 release record semantic-diff #85: Pull request #92 opened by iperev
10s chore/release-0.4.0-record
chore/release-0.4.0-record
10s
Add the typed requirement source model semantic-diff #84: Pull request #91 opened by iperev
9s feature/requirement-source-v2-model
feature/requirement-source-v2-model
9s
chore(deps-dev): bump @playwright/test from 1.62.0 to 1.62.1 semantic-diff #83: Pull request #86 synchronize by dependabot Bot
10s dependabot/npm_and_yarn/playwright/test-1.62.1
dependabot/npm_and_yarn/playwright/test-1.62.1
10s
chore(deps-dev): bump axe-core from 4.12.1 to 4.13.0 semantic-diff #82: Pull request #88 synchronize by dependabot Bot
8s dependabot/npm_and_yarn/axe-core-4.13.0
dependabot/npm_and_yarn/axe-core-4.13.0
8s
Make compact proof contracts declaration-only semantic-diff #81: Pull request #90 opened by iperev
8s feature/declaration-only-compact-contract
feature/declaration-only-compact-contract
8s
Make command coverage execution-backed semantic-diff #80: Pull request #89 opened by iperev
10s feature/executable-oracle-ledger
feature/executable-oracle-ledger
10s
chore(deps-dev): bump axe-core from 4.12.1 to 4.13.0 semantic-diff #79: Pull request #88 opened by dependabot Bot
12s dependabot/npm_and_yarn/axe-core-4.13.0
dependabot/npm_and_yarn/axe-core-4.13.0
12s
chore(deps): bump the codeql-action group across 1 directory with 3 updates semantic-diff #78: Pull request #83 synchronize by dependabot Bot
13s dependabot/github_actions/codeql-action-432e0d4de6
dependabot/github_actions/codeql-action-432e0d4de6
13s
chore(deps-dev): bump @playwright/test from 1.62.0 to 1.62.1 semantic-diff #77: Pull request #86 synchronize by dependabot Bot
13s dependabot/npm_and_yarn/playwright/test-1.62.1
dependabot/npm_and_yarn/playwright/test-1.62.1
13s
Separate declarations from proof assurance semantic-diff #76: Pull request #87 opened by iperev
10s codex/requirement-source-v2-design
codex/requirement-source-v2-design
10s
chore(deps-dev): bump @playwright/test from 1.62.0 to 1.62.1 semantic-diff #75: Pull request #86 opened by dependabot Bot
51s dependabot/npm_and_yarn/playwright/test-1.62.1
dependabot/npm_and_yarn/playwright/test-1.62.1
51s
chore(deps): bump pypa/gh-action-pypi-publish from 1.14.1 to 1.14.2 semantic-diff #74: Pull request #85 opened by dependabot Bot
54s dependabot/github_actions/pypa/gh-action-pypi-publish-1.14.2
dependabot/github_actions/pypa/gh-action-pypi-publish-1.14.2
54s
chore(deps): bump ossf/scorecard-action from 2.4.3 to 2.4.4 semantic-diff #73: Pull request #84 opened by dependabot Bot
56s dependabot/github_actions/ossf/scorecard-action-2.4.4
dependabot/github_actions/ossf/scorecard-action-2.4.4
56s
chore(deps): bump the codeql-action group across 1 directory with 3 updates semantic-diff #72: Pull request #83 opened by dependabot Bot
1m 1s dependabot/github_actions/codeql-action-432e0d4de6
dependabot/github_actions/codeql-action-432e0d4de6
1m 1s
chore(deps): bump go.yaml.in/yaml/v3 from 3.0.4 to 3.0.5 semantic-diff #71: Pull request #79 synchronize by iperev
14s dependabot/go_modules/go.yaml.in/yaml/v3-3.0.5
dependabot/go_modules/go.yaml.in/yaml/v3-3.0.5
14s
Close release lineage and proof boundary gaps semantic-diff #70: Pull request #82 synchronize by iperev
9s fix/release-migration-lineage
fix/release-migration-lineage
9s
Close release lineage and proof boundary gaps semantic-diff #69: Pull request #82 opened by iperev
20s fix/release-migration-lineage
fix/release-migration-lineage
20s
Harden proof and package boundaries semantic-diff #68: Pull request #81 synchronize by iperev
14s fix/engineering-review-2026-07-29
fix/engineering-review-2026-07-29
14s
Harden proof and package boundaries semantic-diff #67: Pull request #81 opened by iperev
9s fix/engineering-review-2026-07-29
fix/engineering-review-2026-07-29
9s
Close proof, contract, release, and onboarding audit gaps semantic-diff #66: Pull request #78 synchronize by iperev
13s fix/audit-remediation
fix/audit-remediation
13s
Close proof, contract, release, and onboarding audit gaps semantic-diff #65: Pull request #78 synchronize by iperev
17s fix/audit-remediation
fix/audit-remediation
17s
Close proof, contract, release, and onboarding audit gaps semantic-diff #64: Pull request #78 synchronize by iperev
16s fix/audit-remediation
fix/audit-remediation
16s