Skip to content

Actions: frankbria/codeframe

Actions

Engine Smoke

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
engine-smoke.yml
245 workflow runs
245 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
fix(proof): run a real security scanner for the SEC gate (#925) Engine Smoke #45: Pull request #1037 synchronize by frankbria
11s fix/925-proof-sec-gate
fix/925-proof-sec-gate
11s
fix(proof): enforce the six gates that had no runner (#924) Engine Smoke #44: Pull request #1036 synchronize by frankbria
10s fix/924-proof-gate-obligations
fix/924-proof-gate-obligations
10s
fix(pr): resolve the workspace upward in the PROOF9 merge gate (#926) Engine Smoke #43: Pull request #1039 opened by frankbria
13s fix/926-merge-gate-subdir
fix/926-merge-gate-subdir
13s
fix(proof): run a real security scanner for the SEC gate (#925) Engine Smoke #42: Pull request #1037 synchronize by frankbria
14s fix/925-proof-sec-gate
fix/925-proof-sec-gate
14s
perf(credentials): cache the derived key and make store writes concurrency-safe (#920) Engine Smoke #41: Pull request #1031 synchronize by frankbria
14s fix/920-credential-store-concurrency
fix/920-credential-store-concurrency
14s
fix(proof): enforce the six gates that had no runner (#924) Engine Smoke #40: Pull request #1036 synchronize by frankbria
16s fix/924-proof-gate-obligations
fix/924-proof-gate-obligations
16s
perf(credentials): cache the derived key and make store writes concurrency-safe (#920) Engine Smoke #39: Pull request #1031 synchronize by frankbria
14s fix/920-credential-store-concurrency
fix/920-credential-store-concurrency
14s
fix(proof): run a real security scanner for the SEC gate (#925) Engine Smoke #38: Pull request #1037 opened by frankbria
15s fix/925-proof-sec-gate
fix/925-proof-sec-gate
15s
fix(proof): stop scoped runs silently skipping non-file requirements (#922) Engine Smoke #37: Pull request #1034 synchronize by frankbria
14s fix/922-proof-scope
fix/922-proof-scope
14s
fix(proof): enforce the six gates that had no runner (#924) Engine Smoke #36: Pull request #1036 opened by frankbria
18s fix/924-proof-gate-obligations
fix/924-proof-gate-obligations
18s
fix(proof): stop scoped runs silently skipping non-file requirements (#922) Engine Smoke #35: Pull request #1034 synchronize by frankbria
12s fix/922-proof-scope
fix/922-proof-scope
12s
fix(proof): repair the requirement lifecycle (#923) Engine Smoke #34: Pull request #1035 opened by frankbria
11s fix/923-proof-req-lifecycle
fix/923-proof-req-lifecycle
11s
perf(credentials): cache the derived key and make store writes concurrency-safe (#920) Engine Smoke #33: Pull request #1031 synchronize by frankbria
12s fix/920-credential-store-concurrency
fix/920-credential-store-concurrency
12s
fix(proof): stop scoped runs silently skipping non-file requirements (#922) Engine Smoke #32: Pull request #1034 opened by frankbria
11s fix/922-proof-scope
fix/922-proof-scope
11s
fix(batch): stop reconciliation writing states nothing consumes (#921) Engine Smoke #31: Pull request #1033 opened by frankbria
12s fix/921-batch-reconciliation
fix/921-batch-reconciliation
12s
perf(credentials): cache the derived key and make store writes concurrency-safe (#920) Engine Smoke #30: Pull request #1031 synchronize by frankbria
11s fix/920-credential-store-concurrency
fix/920-credential-store-concurrency
11s
perf(credentials): cache the derived key and make store writes concurrency-safe (#920) Engine Smoke #29: Pull request #1031 opened by frankbria
11s fix/920-credential-store-concurrency
fix/920-credential-store-concurrency
11s
fix(auth): repair API-key and account lifecycle (#919) Engine Smoke #28: Pull request #1030 opened by frankbria
14s fix/919-api-key-lifecycle
fix/919-api-key-lifecycle
14s
fix(codex): accept codex login as authentication (#1010) Engine Smoke #27: Pull request #1023 synchronize by frankbria
51s fix/1010-codex-auth
fix/1010-codex-auth
51s
fix(codex): accept codex login as authentication (#1010) Engine Smoke #26: Pull request #1023 synchronize by frankbria
57s fix/1010-codex-auth
fix/1010-codex-auth
57s
fix(kilocode): detect the installed CLI instead of assuming one (#1015) Engine Smoke #25: Pull request #1024 synchronize by frankbria
58s fix/1015-kilocode-7x
fix/1015-kilocode-7x
58s
chore(deps): bump the npm-minor-patch group in /web-ui with 16 updates Engine Smoke #24: Pull request #1028 opened by dependabot Bot
13s dependabot/npm_and_yarn/web-ui/npm-minor-patch-964a53b387
dependabot/npm_and_yarn/web-ui/npm-minor-patch-964a53b387
13s
chore(deps): bump actions/setup-node from 6.4.0 to 7.0.0 Engine Smoke #23: Pull request #1027 opened by dependabot Bot
9s dependabot/github_actions/actions/setup-node-7.0.0
dependabot/github_actions/actions/setup-node-7.0.0
9s
chore(deps): bump tailscale/github-action from 3.3.0 to 4.1.3 Engine Smoke #22: Pull request #1026 opened by dependabot Bot
15s dependabot/github_actions/tailscale/github-action-4.1.3
dependabot/github_actions/tailscale/github-action-4.1.3
15s
chore(deps): bump the actions group with 2 updates Engine Smoke #21: Pull request #1025 opened by dependabot Bot
45s dependabot/github_actions/actions-24aa907eb4
dependabot/github_actions/actions-24aa907eb4
45s