Swift

swift.yml

2374 workflow runs

Crypto: Add Java Cryptographic Analysis Queries
completed successfully:
Swift#6741:Pull request#20605synchronizebybdrodes
bdrodes:santander-java-crypto-check
Oct 8, 20254m 10s
Crypto: Add Java Cryptographic Analysis Queries
completed successfully:
Swift#6740:Pull request#20605synchronizebybdrodes
bdrodes:santander-java-crypto-check
Oct 8, 20254m 7s
Crypto: Add Java Cryptographic Analysis Queries
completed successfully:
Swift#6739:Pull request#20605synchronizebybdrodes
bdrodes:santander-java-crypto-check
Oct 8, 20254m 25s
Crypto: Add Java Cryptographic Analysis Queries
completed successfully:
Swift#6738:Pull request#20605synchronizebybdrodes
bdrodes:santander-java-crypto-check
Oct 8, 20256m 36s
Crypto: Add Java Cryptographic Analysis Queries
completed successfully:
Swift#6737:Pull request#20605openedbybdrodes
bdrodes:santander-java-crypto-check
Oct 8, 20255m 0s
Rust: Non-symmetric type propagation for lub coercions
completed successfully:
Swift#6736:Pull request#20592synchronizebyhvitved
hvitved:rust/type-inference-branch-propagation
Oct 8, 20254m 36s
Rust: Non-symmetric type propagation for lub coercions
completed successfully:
Swift#6735:Pull request#20592synchronizebyhvitved
hvitved:rust/type-inference-branch-propagation
Oct 8, 20254m 4s
Rust: Rework call resolution and type inference for calls
completed successfully:
Swift#6734:Pull request#20282synchronizebyhvitved
hvitved:rust/type-inference-method-call-resolution-rework
Oct 8, 20254m 14s
Dataflow: Overlay informed dataflow.
completed successfully:
Swift#6733:Pull request#20386synchronizebyalexet
alexet/overlay-informed-dataflow
Oct 7, 20254m 41s
Rust: Non-symmetric type propagation for lub coercions
completed successfully:
Swift#6732:Pull request#20592openedbyhvitved
hvitved:rust/type-inference-branch-propagation
Oct 7, 20254m 9s
Shared: Correct comment about empty .expected file
completed successfully:
Swift#6731:Pull request#20591openedbyowen-mc
owen-mc:shared/update-inline-expectations-qldoc
Oct 7, 20254m 11s
Dataflow: Overlay informed dataflow.
completed successfully:
Swift#6730:Pull request#20386synchronizebyalexet
alexet/overlay-informed-dataflow
Oct 6, 20254m 11s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6729:Pull request#20583synchronizebybdrodes
bdrodes:jca_signature_extensions
Oct 6, 20253m 52s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6728:Pull request#20583synchronizebybdrodes
bdrodes:jca_signature_extensions
Oct 6, 20254m 5s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6727:Pull request#20583synchronizebybdrodes
bdrodes:jca_signature_extensions
Oct 6, 20254m 21s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6726:Pull request#20583synchronizebybdrodes
bdrodes:jca_signature_extensions
Oct 6, 20254m 23s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6725:Pull request#20583synchronizebybdrodes
bdrodes:jca_signature_extensions
Oct 6, 20254m 22s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6724:Pull request#20583synchronizebybdrodes
bdrodes:jca_signature_extensions
Oct 6, 20254m 17s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6723:Pull request#20583synchronizebynicolaswill
bdrodes:jca_signature_extensions
Oct 6, 20253m 45s
Crypto: Add JCA signatures, RNG, and unit tests
completed successfully:
Swift#6722:Pull request#20583synchronizebynicolaswill
bdrodes:jca_signature_extensions
Oct 6, 20254m 17s
Rust: Rework call resolution and type inference for calls
completed successfully:
Swift#6721:Pull request#20282synchronizebyhvitved
hvitved:rust/type-inference-method-call-resolution-rework
Oct 6, 20254m 18s
Rust: Rework call resolution and type inference for calls
completed successfully:
Swift#6720:Pull request#20282synchronizebyhvitved
hvitved:rust/type-inference-method-call-resolution-rework
Oct 5, 20254m 11s
Rust: Rework call resolution and type inference for calls
completed successfully:
Swift#6719:Pull request#20282synchronizebyhvitved
hvitved:rust/type-inference-method-call-resolution-rework
Oct 5, 20254m 15s
Rust: Rework call resolution and type inference for calls
completed successfully:
Swift#6718:Pull request#20282synchronizebyhvitved
hvitved:rust/type-inference-method-call-resolution-rework
Oct 5, 20254m 39s
Rust: Rework call resolution and type inference for calls
completed successfully:
Swift#6717:Pull request#20282synchronizebyhvitved
hvitved:rust/type-inference-method-call-resolution-rework
Oct 4, 20254m 23s

Navigation Menu

Swift

2374 workflow runs

Crypto: Add Java Cryptographic Analysis Queries

Crypto: Add Java Cryptographic Analysis Queries

Crypto: Add Java Cryptographic Analysis Queries

Crypto: Add Java Cryptographic Analysis Queries

Crypto: Add Java Cryptographic Analysis Queries

Rust: Non-symmetric type propagation for lub coercions

Rust: Non-symmetric type propagation for lub coercions

Rust: Rework call resolution and type inference for calls

Dataflow: Overlay informed dataflow.

Rust: Non-symmetric type propagation for lub coercions

Shared: Correct comment about empty `.expected` file

Dataflow: Overlay informed dataflow.

Crypto: Add JCA signatures, RNG, and unit tests

Crypto: Add JCA signatures, RNG, and unit tests

Crypto: Add JCA signatures, RNG, and unit tests

Crypto: Add JCA signatures, RNG, and unit tests

Crypto: Add JCA signatures, RNG, and unit tests

Crypto: Add JCA signatures, RNG, and unit tests

Crypto: Add JCA signatures, RNG, and unit tests

Crypto: Add JCA signatures, RNG, and unit tests

Rust: Rework call resolution and type inference for calls

Rust: Rework call resolution and type inference for calls

Rust: Rework call resolution and type inference for calls

Rust: Rework call resolution and type inference for calls

Rust: Rework call resolution and type inference for calls

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for Swift

2374 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.