Skip to content

Actions: hyperpolymath/echidna

Actions

bridge-gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bridge-gate.yml
221 workflow runs
221 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(gates): gate on the DEED grammar, per the template and standards#837 bridge-gate #221: Pull request #389 synchronize by hyperpolymath
1s fix/deed-gate-grammar
fix/deed-gate-grammar
1s
fix(ci): reconcile actions.lock so the lockfile validates bridge-gate #220: Pull request #390 opened by hyperpolymath
1s fix/lockfile-reconcile
fix/lockfile-reconcile
1s
bridge-gate bridge-gate #219: opened by hyperpolymath
Startup failure fix/deed-gate-grammar
fix/deed-gate-grammar
Startup failure
bridge-gate bridge-gate #218: opened by hyperpolymath
Startup failure chore/remove-dead-app-ci-refs
chore/remove-dead-app-ci-refs
Startup failure
bridge-gate bridge-gate #217: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
chore(governance): stop declaring repository identity in settings.yml bridge-gate #216: Pull request #386 opened by hyperpolymath
11s chore/settings-no-identity
chore/settings-no-identity
11s
refactor(root): relocate the contributing guide into .github/ bridge-gate #215: Pull request #385 opened by hyperpolymath
8s refactor/contributing-guide-relocation
refactor/contributing-guide-relocation
8s
refactor(root): move root artefacts to their canonical locations bridge-gate #214: Pull request #384 opened by hyperpolymath
1s refactor/root-shape-rollout
refactor/root-shape-rollout
1s
chore(www): migrate root .well-known/ to www/.well-known/ bridge-gate #213: Pull request #383 opened by hyperpolymath
1s chore/well-known-to-www
chore/well-known-to-www
1s
chore(deps): bump rmcp from 3.2.0 to 3.3.0 bridge-gate #212: Pull request #380 synchronize by hyperpolymath
2m 53s dependabot/cargo/rmcp-3.3.0
dependabot/cargo/rmcp-3.3.0
2m 53s
chore(deps): bump the actions group with 3 updates bridge-gate #211: Pull request #382 opened by dependabot Bot
3m 23s dependabot/github_actions/actions-3fd9e08083
dependabot/github_actions/actions-3fd9e08083
3m 23s
chore(deps): bump strum from 0.27.2 to 0.28.0 bridge-gate #210: Pull request #381 opened by dependabot Bot
3m 21s dependabot/cargo/strum-0.28.0
dependabot/cargo/strum-0.28.0
3m 21s
chore(deps): bump rmcp from 3.2.0 to 3.3.0 bridge-gate #209: Pull request #380 opened by dependabot Bot
3m 51s dependabot/cargo/rmcp-3.3.0
dependabot/cargo/rmcp-3.3.0
3m 51s
fix(ci): make the dogfood gate .deed-aware bridge-gate #208: Pull request #379 synchronize by hyperpolymath
7s secqual/deed-aware-dogfood-gate
secqual/deed-aware-dogfood-gate
7s
fix(ci): make the dogfood gate .deed-aware bridge-gate #207: Pull request #379 opened by hyperpolymath
6s secqual/deed-aware-dogfood-gate
secqual/deed-aware-dogfood-gate
6s
chore(deps): bump capnp from 0.26.0 to 0.27.1 bridge-gate #206: Pull request #378 synchronize by hyperpolymath
2m 52s dependabot/cargo/capnp-0.27.1
dependabot/cargo/capnp-0.27.1
2m 52s
chore(deps): bump the actions group across 1 directory with 4 updates bridge-gate #205: Pull request #375 synchronize by hyperpolymath
3m 6s dependabot/github_actions/actions-2d3ed2d690
dependabot/github_actions/actions-2d3ed2d690
3m 6s
fix(ci): the invisible-character gate never matched anything bridge-gate #204: Pull request #369 synchronize by hyperpolymath
Skipped fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
Skipped
fix(ci): the invisible-character gate never matched anything bridge-gate #203: Pull request #369 synchronize by hyperpolymath
1s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
1s
fix(ci): the invisible-character gate never matched anything bridge-gate #202: Pull request #369 synchronize by hyperpolymath
1s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
1s
chore(deps): bump uuid from 1.25.0 to 1.26.0 bridge-gate #201: Pull request #373 synchronize by hyperpolymath
3m 22s dependabot/cargo/uuid-1.26.0
dependabot/cargo/uuid-1.26.0
3m 22s
chore(deps): bump rmcp from 3.1.2 to 3.2.0 bridge-gate #200: Pull request #374 synchronize by hyperpolymath
3m 6s dependabot/cargo/rmcp-3.2.0
dependabot/cargo/rmcp-3.2.0
3m 6s
fix(proof): require real proof rejection and valid Coq submissions bridge-gate #199: Pull request #376 synchronize by hyperpolymath
1s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
1s
chore(deps): bump capnp from 0.26.0 to 0.27.1 bridge-gate #198: Pull request #378 opened by dependabot Bot
3m 16s dependabot/cargo/capnp-0.27.1
dependabot/cargo/capnp-0.27.1
3m 16s
docs(agents): add a GEMINI.md pointer to the maintained instructions bridge-gate #197: Pull request #377 opened by hyperpolymath
1s chore/llm-pointer-2026-09-08
chore/llm-pointer-2026-09-08
1s