Skip to content

Actions: github/codeql

Actions

Check synchronized files

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C#: Fix false positives in cs/log-forging for extension methods Check synchronized files #50267: Pull request #21498 synchronize by Gregro
Action required Gregro:csharp/fix-log-forging-extension-methods
Gregro:csharp/fix-log-forging-extension-methods
Action required
Bump actions/cache from 3 to 5 Check synchronized files #50266: Pull request #21503 synchronize by dependabot bot
22s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
22s
Bump actions/download-artifact from 4 to 8 Check synchronized files #50265: Pull request #21500 synchronize by dependabot bot
19s dependabot/github_actions/actions/download-artifact-8
dependabot/github_actions/actions/download-artifact-8
19s
Rust: Improve type inference for closures Check synchronized files #50264: Pull request #21206 synchronize by hvitved
20s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
20s
Merge pull request #21510 from hvitved/ci/remove-ruby-checks Check synchronized files #50263: Commit 9a4bc69 pushed by hvitved
19s main
main
19s
Java: Accept new test results after JDK 26 extractor upgrade Check synchronized files #50262: Pull request #21494 synchronize by IdrissRio
20s idrissrio/java/jdk26
idrissrio/java/jdk26
20s
Java: Accept new test results after JDK 26 extractor upgrade Check synchronized files #50261: Pull request #21494 synchronize by IdrissRio
20s idrissrio/java/jdk26
idrissrio/java/jdk26
20s
Add IndirectUninitializedNode and related helper predicates Check synchronized files #50260: Pull request #21458 synchronize by jeongsoolee09
21s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
21s
Add IndirectUninitializedNode and related helper predicates Check synchronized files #50259: Pull request #21458 synchronize by jeongsoolee09
20s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
20s
C++: Handle field initialization via NSDMI in IR generation Check synchronized files #50258: Pull request #21391 synchronize by jketema
24s jketema:jketema/nsdmi
jketema:jketema/nsdmi
24s
Qlucie trigger Check synchronized files #50257: Pull request #21524 opened by sam-robson
20s sam-robson/testing-qlucie
sam-robson/testing-qlucie
20s
Rust: Add support for defining barriers and barrier guards using models-as-data Check synchronized files #50256: Pull request #21475 synchronize by owen-mc
20s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
20s
Document MaD barriers and barrier guards and add change notes Check synchronized files #50255: Pull request #21523 synchronize by owen-mc
21s owen-mc:docs/mad/barriers
owen-mc:docs/mad/barriers
21s
Document MaD barriers and barrier guards and add change notes Check synchronized files #50254: Pull request #21523 opened by owen-mc
18s owen-mc:docs/mad/barriers
owen-mc:docs/mad/barriers
18s
C#: Replace CFG with the shared implementation. Check synchronized files #50253: Pull request #21513 synchronize by aschackmull
20s aschackmull:csharp/cfg
aschackmull:csharp/cfg
20s
Merge pull request #21464 from hvitved/rust/type-inference-trait-boun… Check synchronized files #50252: Commit f99f26f pushed by hvitved
22s main
main
22s
Python: Port simple points-to queries without DCA alert changes Check synchronized files #50251: Pull request #21519 synchronize by tausbn
22s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
22s
Merge pull request #21512 from paldepind/cpp/extraction-information Check synchronized files #50250: Commit f6c81ff pushed by paldepind
19s main
main
19s
Data flow: Prevent context-sensitive dispatch in source call contexts Check synchronized files #50249: Pull request #21521 synchronize by hvitved
20s hvitved:dataflow/source-call-ctx-dispatch
hvitved:dataflow/source-call-ctx-dispatch
20s
C++: Handle field initialization via NSDMI in IR generation Check synchronized files #50248: Pull request #21391 synchronize by jketema
21s jketema:jketema/nsdmi
jketema:jketema/nsdmi
21s
Ruby: Use empty DB stats Check synchronized files #50247: Pull request #21511 synchronize by hvitved
21s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
21s
C#: Remove expanded assignments. Check synchronized files #50246: Pull request #21452 synchronize by michaelnebel
18s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
18s
C#: Remove expanded assignments. Check synchronized files #50245: Pull request #21452 synchronize by michaelnebel
20s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
20s
Ruby: Use empty DB stats Check synchronized files #50244: Pull request #21511 synchronize by hvitved
22s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
22s
Rust: Add support for defining barriers and barrier guards using models-as-data Check synchronized files #50243: Pull request #21475 synchronize by owen-mc
19s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
19s