Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Add models for actix-web Rust #4109: Pull request #20543 synchronize by paldepind
2m 47s paldepind:rust/model-actix-web
paldepind:rust/model-actix-web
2m 47s
Crypto: Add Java Cryptographic Analysis Queries Rust #4108: Pull request #20605 synchronize by bdrodes
9m 4s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
9m 4s
Crypto: Add Java Cryptographic Analysis Queries Rust #4107: Pull request #20605 synchronize by bdrodes
2m 46s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 46s
Crypto: Add Java Cryptographic Analysis Queries Rust #4106: Pull request #20605 synchronize by bdrodes
2m 39s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 39s
Rust: Compute incompatible blanket implementations Rust #4105: Pull request #20612 synchronize by hvitved
3m 1s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
3m 1s
Rust: Non-symmetric type propagation for lub coercions Rust #4104: Pull request #20592 synchronize by hvitved
2m 45s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 45s
Rust: Non-symmetric type propagation for lub coercions Rust #4103: Pull request #20592 synchronize by hvitved
2m 41s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 41s
Rust: Compute incompatible blanket implementations Rust #4102: Pull request #20612 synchronize by hvitved
2m 49s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
2m 49s
Rust: Non-symmetric type propagation for lub coercions Rust #4101: Pull request #20592 synchronize by hvitved
2m 51s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 51s
Rust: Rework call resolution and type inference for calls Rust #4100: Pull request #20282 synchronize by hvitved
2m 38s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
2m 38s
Rust: Non-symmetric type propagation for lub coercions Rust #4099: Pull request #20592 synchronize by hvitved
2m 43s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 43s
Rust: Include tuple structs/variants in CallExprBase.getStaticTarget() Rust #4098: Pull request #20621 synchronize by hvitved
2m 45s hvitved:rust/static-target-addressable
hvitved:rust/static-target-addressable
2m 45s
Rust: Rework call resolution and type inference for calls Rust #4097: Pull request #20282 synchronize by hvitved
2m 43s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
2m 43s
Rust: Include tuple structs/variants in CallExprBase.getStaticTarget() Rust #4096: Pull request #20621 opened by hvitved
2m 52s hvitved:rust/static-target-addressable
hvitved:rust/static-target-addressable
2m 52s
Crypto: Add Java Cryptographic Analysis Queries Rust #4095: Pull request #20605 synchronize by bdrodes
2m 40s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 40s
Crypto: Add Java Cryptographic Analysis Queries Rust #4094: Pull request #20605 synchronize by bdrodes
2m 41s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 41s
Crypto: Add Java Cryptographic Analysis Queries Rust #4093: Pull request #20605 synchronize by bdrodes
2m 54s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 54s
Data flow: Add various debug predicates Rust #4092: Pull request #20614 opened by hvitved
2m 48s hvitved:dataflow/debug-predicates
hvitved:dataflow/debug-predicates
2m 48s
Crypto: Add Java Cryptographic Analysis Queries Rust #4091: Pull request #20605 synchronize by nicolaswill
2m 36s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 36s
Rust: Compute incompatible blanket implementations Rust #4090: Pull request #20612 opened by hvitved
2m 45s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
2m 45s
Crypto: Add Java Cryptographic Analysis Queries Rust #4089: Pull request #20605 synchronize by bdrodes
2m 49s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 49s
Crypto: Add Java Cryptographic Analysis Queries Rust #4088: Pull request #20605 synchronize by bdrodes
2m 48s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 48s
Crypto: Add Java Cryptographic Analysis Queries Rust #4087: Pull request #20605 synchronize by bdrodes
2m 42s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 42s
Crypto: Add Java Cryptographic Analysis Queries Rust #4086: Pull request #20605 synchronize by bdrodes
2m 45s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 45s
Crypto: Add Java Cryptographic Analysis Queries Rust #4085: Pull request #20605 synchronize by bdrodes
2m 43s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 43s
ProTip! You can narrow down the results and go further in time using created:<2025-10-08 or the other filters available.