Skip to content

Actions: github/codeql

Actions

Check synchronized files

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #21001 from aschackmull/guards/generalise-validati… Check synchronized files #48259: Commit 000f2c3 pushed by aschackmull
19s main
main
19s
C++: Update expected test results after frontend update Check synchronized files #48258: Pull request #20926 synchronize by jketema
21s jketema:jketema/frontend-update
jketema:jketema/frontend-update
21s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Check synchronized files #48257: Pull request #20996 synchronize by michaelnebel
19s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
19s
Rust: Lift content reads as taint steps Check synchronized files #48256: Pull request #20879 synchronize by paldepind
20s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
20s
Python: Add modelling for zstd.compression Check synchronized files #48255: Pull request #21002 synchronize by tausbn
20s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
20s
Rust: Lift content reads as taint steps Check synchronized files #48254: Pull request #20879 synchronize by paldepind
28s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
28s
Merge pull request #20941 from paldepind/rust/invalid-pointer-barriers Check synchronized files #48253: Commit cd721b8 pushed by paldepind
19s main
main
19s
Python: Add modelling for zstd.compression Check synchronized files #48252: Pull request #21002 synchronize by tausbn
34s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
34s
Swift: Update to Swift 6.2.2 Check synchronized files #48251: Pull request #21008 opened by jketema
20s jketema:swift-6.2.2
jketema:swift-6.2.2
20s
Java: Support for MaD barriers and barrier guards. Check synchronized files #48250: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check synchronized files #48249: Pull request #21001 synchronize by aschackmull
18s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
18s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check synchronized files #48248: Pull request #21001 synchronize by aschackmull
21s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
21s
Rust: Reduce the number of sinks in DereferenceSink Check synchronized files #48247: Pull request #20941 synchronize by paldepind
22s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
22s
Merge pull request #21007 from hvitved/rust/update-expected Check synchronized files #48246: Commit 4a1abc7 pushed by paldepind
19s main
main
19s
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query Check synchronized files #48245: Pull request #20887 synchronize by geoffw0
19s copilot/add-ecb-cbc-test-cases
copilot/add-ecb-cbc-test-cases
19s
Rust: Update expected test output Check synchronized files #48244: Pull request #21007 opened by hvitved
20s hvitved:rust/update-expected
hvitved:rust/update-expected
20s
Rust: Accept changes to expected files for consistency check Check synchronized files #48243: Pull request #21006 opened by paldepind
21s paldepind:rust/consistency-expected
paldepind:rust/consistency-expected
21s
Swift: Update tracer configuration Check synchronized files #48242: Pull request #21005 opened by jketema
21s jketema:swift-filter-arg
jketema:swift-filter-arg
21s
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query Check synchronized files #48241: Pull request #20887 synchronize by geoffw0
17s copilot/add-ecb-cbc-test-cases
copilot/add-ecb-cbc-test-cases
17s
Java: Support for MaD barriers and barrier guards. Check synchronized files #48240: Pull request #20986 synchronize by aschackmull
20s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
20s
Rust: Reduce the number of sinks in DereferenceSink Check synchronized files #48239: Pull request #20941 synchronize by paldepind
31s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
31s
Java: Support for MaD barriers and barrier guards. Check synchronized files #48238: Pull request #20986 synchronize by aschackmull
18s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
18s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check synchronized files #48237: Pull request #21001 synchronize by aschackmull
19s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
19s
Rust: Reduce the number of sinks in DereferenceSink Check synchronized files #48236: Pull request #20941 synchronize by paldepind
19s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
19s
Python: MaD barriers Check synchronized files #48235: Pull request #21004 opened by yoff
20s yoff:python/mad-barriers
yoff:python/mad-barriers
20s
ProTip! You can narrow down the results and go further in time using created:<2025-12-10 or the other filters available.