Skip to content

Actions: github/codeql

Actions

Check synchronized files

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sync-files.yml
11,156 workflow runs
11,156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Inline expectation tests should always have space before and after $ Check synchronized files #49827: Pull request #21405 synchronize by owen-mc
20s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
20s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source Check synchronized files #49826: Pull request #21410 synchronize by MathiasVP
24s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
24s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source Check synchronized files #49825: Pull request #21410 opened by MathiasVP
25s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
25s
Inline expectation tests should always have space before and after $ Check synchronized files #49824: Pull request #21405 synchronize by owen-mc
21s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
21s
Inline expectation tests should always have space before and after $ Check synchronized files #49823: Pull request #21405 synchronize by owen-mc
20s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
20s
Merge pull request #21400 from michaelnebel/csharp/implicitconversion… Check synchronized files #49822: Commit 219ea28 pushed by michaelnebel
20s main
main
20s
C#: Add default taint step from an implicit operator call to its argument. Check synchronized files #49821: Pull request #21400 synchronize by michaelnebel
20s michaelnebel:csharp/implicitconversionreverseflowtaint
michaelnebel:csharp/implicitconversionreverseflowtaint
20s
Rust: Unify call resolution logic Check synchronized files #49820: Pull request #21355 synchronize by hvitved
20s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
20s
C++: Update expected test results after extractor changes Check synchronized files #49819: Pull request #21409 opened by jketema
20s jketema:jketema/softfloat
jketema:jketema/softfloat
20s
C#: Remove some unbounded TC computations Check synchronized files #49818: Pull request #21348 synchronize by hvitved
19s hvitved:csharp/remove-tcs
hvitved:csharp/remove-tcs
19s
Rust: Add neutral models (map, from) Check synchronized files #49817: Pull request #21375 synchronize by geoffw0
20s geoffw0:mapfix
geoffw0:mapfix
20s
Merge pull request #21403 from aschackmull/cfg/tweaks Check synchronized files #49816: Commit 2782d90 pushed by aschackmull
19s main
main
19s
Guards: Improve performance of forall in guardDeterminesPhiInput. Check synchronized files #49815: Pull request #21408 opened by aschackmull
20s aschackmull:guards/perf-tweak
aschackmull:guards/perf-tweak
20s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check synchronized files #49814: Pull request #21404 synchronize by hvitved
23s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
23s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check synchronized files #49813: Pull request #21404 synchronize by hvitved
18s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
18s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check synchronized files #49812: Pull request #21404 synchronize by hvitved
19s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
19s
C# 14: User defined compound assignment operators. Check synchronized files #49811: Pull request #21372 synchronize by michaelnebel
21s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
21s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check synchronized files #49810: Pull request #21404 synchronize by hvitved
18s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
18s
C#: Add default taint step from an implicit operator call to its argument. Check synchronized files #49809: Pull request #21400 synchronize by michaelnebel
27s michaelnebel:csharp/implicitconversionreverseflowtaint
michaelnebel:csharp/implicitconversionreverseflowtaint
27s
C++: IR: Drop the aliased SSA Check synchronized files #49808: Pull request #21407 synchronize by igfoo
19s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
19s
C++: IR: Drop the aliased SSA Check synchronized files #49807: Pull request #21407 synchronize by igfoo
23s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
23s
C++: IR: Drop the aliased SSA Check synchronized files #49806: Pull request #21407 opened by igfoo
19s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
19s
Inline expectation tests should always have space before and after $ Check synchronized files #49805: Pull request #21405 synchronize by owen-mc
21s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
21s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check synchronized files #49804: Pull request #21404 synchronize by hvitved
25s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
25s
C++: Handle field initialization via NSDMI in IR generation Check synchronized files #49803: Pull request #21391 synchronize by jketema
20s jketema:jketema/nsdmi
jketema:jketema/nsdmi
20s