Skip to content

Actions: aws/aws-cryptographic-material-providers-library

Actions

static analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_static-analysis.yaml
4,592 workflow runs
4,592 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5793: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 22:26 19s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 22:26 19s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5792: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 20:29 19s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 20:29 19s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5791: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 19:13 23s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 19:13 23s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5790: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 19:05 21s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 19:05 21s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5789: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 18:37 19s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 18:37 19s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5788: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 18:18 34s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 18:18 34s
chore(deps): bump software.amazon.awssdk:bom from 2.26.3 to 2.31.42 in /AwsCryptographicMaterialProviders/runtimes/java static analysis #5787: Pull request #1518 opened by dependabot bot
May 14, 2025 18:16 25s dependabot/gradle/AwsCryptographicMaterialProviders/runtimes/java/software.amazon.awssdk-bom-2.31.42
dependabot/gradle/AwsCryptographicMaterialProviders/runtimes/java/software.amazon.awssdk-bom-2.31.42
May 14, 2025 18:16 25s
fix(dafny): bump Dafny libraries for JSON fix (#1517) static analysis #5786: Commit d8679e5 pushed by texastony
May 14, 2025 17:39 18s main
main
May 14, 2025 17:39 18s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5785: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 17:27 25s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 17:27 25s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5784: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 16:38 36s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 16:38 36s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5783: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 16:25 22s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 16:25 22s
fix(dafny): bump Dafny libraries for JSON fix static analysis #5782: Pull request #1517 opened by texastony
May 14, 2025 16:02 21s texastony/fix-dafny-bump-dafny-libraries
texastony/fix-dafny-bump-dafny-libraries
May 14, 2025 16:02 21s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5781: Pull request #1516 synchronize by rishav-karanjit
May 14, 2025 00:22 21s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 14, 2025 00:22 21s
chore(dafny): add failure for unexpected attribute in EC on HV-2 static analysis #5780: Pull request #1516 opened by rishav-karanjit
May 13, 2025 23:31 21s rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
rishav/hv-2/FOUND_EC_WITHOUT_PREFIX
May 13, 2025 23:31 21s
chore(deps): bump software.amazon.awssdk:bom from 2.26.3 to 2.31.41 in /AwsCryptographicMaterialProviders/runtimes/java static analysis #5779: Pull request #1515 opened by dependabot bot
May 13, 2025 18:58 21s dependabot/gradle/AwsCryptographicMaterialProviders/runtimes/java/software.amazon.awssdk-bom-2.31.41
dependabot/gradle/AwsCryptographicMaterialProviders/runtimes/java/software.amazon.awssdk-bom-2.31.41
May 13, 2025 18:58 21s
chore(deps): bump actions-rust-lang/setup-rust-toolchain from 1.10.1 to 1.12.0 in /.github/workflows static analysis #5778: Pull request #1494 synchronize by dependabot bot
May 13, 2025 18:58 19s dependabot/github_actions/dot-github/workflows/actions-rust-lang/setup-rust-toolchain-1.12.0
dependabot/github_actions/dot-github/workflows/actions-rust-lang/setup-rust-toolchain-1.12.0
May 13, 2025 18:58 19s
chore: install polymorph dependencies in github workflows (#1514) static analysis #5777: Commit eb68525 pushed by ajewellamz
May 13, 2025 18:57 19s main
main
May 13, 2025 18:57 19s
chore: install polymorph dependencies in github workflows static analysis #5776: Pull request #1514 synchronize by ajewellamz
May 13, 2025 16:54 20s ajewell/polymorph-dependencies
ajewell/polymorph-dependencies
May 13, 2025 16:54 20s
chore: install polymorph dependencies in github workflows static analysis #5775: Pull request #1514 synchronize by ajewellamz
May 13, 2025 16:43 39s ajewell/polymorph-dependencies
ajewell/polymorph-dependencies
May 13, 2025 16:43 39s
chore: install polymorph dependencies in github workflows static analysis #5774: Pull request #1514 opened by ajewellamz
May 13, 2025 16:41 18s ajewell/polymorph-dependencies
ajewell/polymorph-dependencies
May 13, 2025 16:41 18s
chore(dafny): merge with mutations/mutations static analysis #5773: Pull request #1513 opened by rishav-karanjit
May 12, 2025 22:07 20s rishav/hv-2/mergeWithMutationsBranch
rishav/hv-2/mergeWithMutationsBranch
May 12, 2025 22:07 20s
feat(dafny): AWS KMS Branch Key Store Admin static analysis #5772: Pull request #1005 synchronize by rishav-karanjit
May 12, 2025 21:44 18s mutations/mutations
mutations/mutations
May 12, 2025 21:44 18s
chore(dafny): cleanup todos in hv-2 static analysis #5771: Pull request #1511 synchronize by rishav-karanjit
May 12, 2025 21:26 20s rishav/hv-2/todos
rishav/hv-2/todos
May 12, 2025 21:26 20s
chore(dafny): cleanup todos in hv-2 static analysis #5770: Pull request #1511 synchronize by rishav-karanjit
May 12, 2025 21:12 19s rishav/hv-2/todos
rishav/hv-2/todos
May 12, 2025 21:12 19s
chore(dafny): cleanup todos in hv-2 static analysis #5769: Pull request #1511 synchronize by rishav-karanjit
May 12, 2025 20:47 1m 22s rishav/hv-2/todos
rishav/hv-2/todos
May 12, 2025 20:47 1m 22s