Skip to content

Actions: trailofbits/CoBRA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
389 workflow runs
389 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
PR #40 CodeQL #136: by kyle-elliott-tob
3m 22s refs/pull/40/head
refs/pull/40/head
3m 22s
perf: linearize CollectNonLeafSubtrees, defer per-node Render CI #165: Pull request #39 opened by kyle-elliott-tob
9m 31s perf/collect-nonleaf-linear
perf/collect-nonleaf-linear
9m 31s
PR #39 CodeQL #135: by kyle-elliott-tob
3m 42s refs/pull/39/head
refs/pull/39/head
3m 42s
fix: convert CountNodes to iterative pre-order walk CI #164: Pull request #38 opened by kyle-elliott-tob
10m 37s cleanup/countnodes-iterative
cleanup/countnodes-iterative
10m 37s
PR #38 CodeQL #134: by kyle-elliott-tob
3m 43s refs/pull/38/head
refs/pull/38/head
3m 43s
PR #37 CodeQL #133: by kyle-elliott-tob
3m 51s refs/pull/37/head
refs/pull/37/head
3m 51s
refactor: canonicalize ContainsShr and CollectVariables in ExprUtils CI #163: Pull request #36 opened by kyle-elliott-tob
10m 37s cleanup/canonicalize-shr-and-vars
cleanup/canonicalize-shr-and-vars
10m 37s
PR #36 CodeQL #132: by kyle-elliott-tob
3m 43s refs/pull/36/head
refs/pull/36/head
3m 43s
fix: use kResidualGateProbeCount=64 at post-solver verification gates… CI #162: Commit e8f63cc pushed by kyle-elliott-tob
10m 11s master
master
10m 11s
Push on master CodeQL #131: by kyle-elliott-tob
3m 54s master
master
3m 54s
fix: document Evaluator thread-safety contract (#33) CI #161: Commit 489d17f pushed by kyle-elliott-tob
29s master
master
29s
Push on master CodeQL #130: by kyle-elliott-tob
3m 55s master
master
3m 55s
fix: unify residual-support cap as kMaxResidualSupport=6 (#31) CI #160: Commit 65f9786 pushed by kyle-elliott-tob
2m 0s master
master
2m 0s
Push on master CodeQL #129: by kyle-elliott-tob
3m 44s master
master
3m 44s
fix: bound-check var_index reads across evaluators and remappers (#27) CI #159: Commit 9bc5e70 pushed by kyle-elliott-tob
1m 21s master
master
1m 21s
Push on master CodeQL #128: by kyle-elliott-tob
3m 58s master
master
3m 58s
fix: assert num_vars precondition at evaluator and signature boundari… CI #158: Commit 120e5c7 pushed by kyle-elliott-tob
10m 26s master
master
10m 26s
Push on master CodeQL #127: by kyle-elliott-tob
4m 11s master
master
4m 11s
fix: use kResidualGateProbeCount=64 at post-solver verification gates CI #157: Pull request #34 synchronize by kyle-elliott-tob
10m 56s fix/verification-probe-depth-cluster
fix/verification-probe-depth-cluster
10m 56s
PR #34 CodeQL #126: by kyle-elliott-tob
2m 33s refs/pull/34/head
refs/pull/34/head
2m 33s
fix: assert num_vars precondition at evaluator and signature boundaries CI #156: Pull request #26 synchronize by kyle-elliott-tob
10m 35s fix/num-vars-precondition-cluster
fix/num-vars-precondition-cluster
10m 35s
fix: bound-check var_index reads across evaluators and remappers CI #155: Pull request #27 synchronize by kyle-elliott-tob
9m 14s fix/var-index-bounds-cluster
fix/var-index-bounds-cluster
9m 14s
fix: document Evaluator thread-safety contract CI #154: Pull request #33 synchronize by kyle-elliott-tob
10m 28s fix/evaluator-thread-safety-cluster
fix/evaluator-thread-safety-cluster
10m 28s
fix: unify residual-support cap as kMaxResidualSupport=6 CI #153: Pull request #31 synchronize by kyle-elliott-tob
9m 27s fix/ghost-residual-arity-cluster
fix/ghost-residual-arity-cluster
9m 27s
PR #26 CodeQL #125: by kyle-elliott-tob
2m 32s refs/pull/26/head
refs/pull/26/head
2m 32s