Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
4,224 workflow runs
4,224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Shared: Prefer source/sink models with manual provenance over generated Rust #4791: Pull request #21020 opened by hvitved
2m 45s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
2m 45s
Go: Support for MaD barriers and barrier guards. Rust #4790: Pull request #21015 synchronize by aschackmull
2m 49s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 49s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4789: Pull request #21011 synchronize by aschackmull
2m 53s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 53s
Rust: Don't propagate impl in return position into function bodies Rust #4788: Pull request #21019 synchronize by paldepind
2m 39s paldepind:rust/impl-return
paldepind:rust/impl-return
2m 39s
Rust: Don't propagate impl in return position into function bodies Rust #4787: Pull request #21019 opened by paldepind
2m 44s paldepind:rust/impl-return
paldepind:rust/impl-return
2m 44s
Go: Support for MaD barriers and barrier guards. Rust #4786: Pull request #21015 synchronize by aschackmull
2m 42s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 42s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4785: Pull request #21011 synchronize by aschackmull
2m 47s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 47s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Rust #4784: Pull request #21009 synchronize by geoffw0
1m 15s geoffw0:varfps
geoffw0:varfps
1m 15s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Rust #4783: Pull request #21009 synchronize by geoffw0
1m 17s geoffw0:varfps
geoffw0:varfps
1m 17s
Go: Support for MaD barriers and barrier guards. Rust #4782: Pull request #21015 synchronize by aschackmull
2m 52s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 52s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4781: Pull request #21011 synchronize by aschackmull
3m 1s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
3m 1s
Java: Support for MaD barriers and barrier guards. Rust #4780: Pull request #20986 synchronize by aschackmull
3m 23s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 23s
Java: Support for MaD barriers and barrier guards. Rust #4779: Pull request #20986 synchronize by aschackmull
3m 20s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 20s
Rust: Lift content reads as taint steps Rust #4778: Pull request #20879 synchronize by paldepind
3m 24s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
3m 24s
Python: MaD barriers Rust #4777: Pull request #21004 synchronize by yoff
2m 59s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 59s
Go: Support for MaD barriers and barrier guards. Rust #4776: Pull request #21015 synchronize by aschackmull
2m 45s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 45s
Python: MaD barriers Rust #4775: Pull request #21004 synchronize by yoff
2m 45s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 45s
Go: Support for MaD barriers and barrier guards. Rust #4774: Pull request #21015 opened by aschackmull
2m 54s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 54s
Rust: Distinguish &mut T from &T in type inference Rust #4773: Pull request #20973 synchronize by hvitved
2m 40s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 40s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4772: Pull request #21011 synchronize by aschackmull
2m 48s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 48s
Java: Support for MaD barriers and barrier guards. Rust #4771: Pull request #20986 synchronize by aschackmull
2m 57s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 57s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4770: Pull request #21011 synchronize by aschackmull
2m 42s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 42s
Python: MaD barriers Rust #4769: Pull request #21004 synchronize by yoff
2m 52s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 52s
Java: Support for MaD barriers and barrier guards. Rust #4768: Pull request #20986 synchronize by owen-mc
2m 46s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 46s
Python: MaD barriers Rust #4767: Pull request #21004 synchronize by yoff
2m 49s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 49s