Skip to content

Actions: aws/aws-database-encryption-sdk-dynamodb

Actions

Check TODOs in code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_todos.yml
1,801 workflow run results
1,801 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Remove Dafny warnings (#1742) Check TODOs in code #2225: Commit 4a9d617 pushed by seebees
March 24, 2025 18:04 22s main
main
March 24, 2025 18:04 22s
chore: Remove Dafny warnings Check TODOs in code #2224: Pull request #1742 synchronize by seebees
March 24, 2025 16:12 19s seebees/fail-on-warning
seebees/fail-on-warning
March 24, 2025 16:12 19s
chore: Remove Dafny warnings Check TODOs in code #2223: Pull request #1742 synchronize by seebees
March 24, 2025 16:12 25s seebees/fail-on-warning
seebees/fail-on-warning
March 24, 2025 16:12 25s
chore: Remove Dafny warnings Check TODOs in code #2222: Pull request #1742 synchronize by seebees
March 24, 2025 16:04 19s seebees/fail-on-warning
seebees/fail-on-warning
March 24, 2025 16:04 19s
chore(deps): bump software.amazon.awssdk:bom from 2.30.18 to 2.31.6 in /TestVectors/runtimes/java Check TODOs in code #2221: Pull request #1749 opened by dependabot bot
March 24, 2025 04:05 18s dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-bom-2.31.6
dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-bom-2.31.6
March 24, 2025 04:05 18s
chore(deps): bump software.amazon.awssdk:core from 2.30.18 to 2.31.6 in /TestVectors/runtimes/java Check TODOs in code #2220: Pull request #1748 opened by dependabot bot
March 24, 2025 04:05 20s dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-core-2.31.6
dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-core-2.31.6
March 24, 2025 04:05 20s
chore(deps): bump software.amazon.awssdk:bom from 2.30.18 to 2.31.6 in /DynamoDbEncryption/runtimes/java Check TODOs in code #2219: Pull request #1747 opened by dependabot bot
March 24, 2025 03:45 19s dependabot/gradle/DynamoDbEncryption/runtimes/java/software.amazon.awssdk-bom-2.31.6
dependabot/gradle/DynamoDbEncryption/runtimes/java/software.amazon.awssdk-bom-2.31.6
March 24, 2025 03:45 19s
chore: make EncodeAscii ghost Check TODOs in code #2218: Pull request #1622 synchronize by ajewellamz
March 24, 2025 00:26 22s ajewell/ghost-encode-ascii
ajewell/ghost-encode-ascii
March 24, 2025 00:26 22s
chore(dafny): add timing support Check TODOs in code #2217: Pull request #1655 synchronize by ajewellamz
March 23, 2025 22:03 16s ajewell/measure
ajewell/measure
March 23, 2025 22:03 16s
chore(dafny): let FileIO deal in uint8 rather than bv8 (#1746) Check TODOs in code #2216: Commit 428a013 pushed by ajewellamz
March 22, 2025 20:23 19s main
main
March 22, 2025 20:23 19s
chore(dafny): let FileIO deal in uint8 rather than bv8 Check TODOs in code #2215: Pull request #1746 synchronize by ajewellamz
March 22, 2025 13:44 20s ajewell/fileio-uint8
ajewell/fileio-uint8
March 22, 2025 13:44 20s
chore(dafny): let FileIO deal in uint8 rather than bv8 Check TODOs in code #2214: Pull request #1746 opened by ajewellamz
March 22, 2025 13:23 21s ajewell/fileio-uint8
ajewell/fileio-uint8
March 22, 2025 13:23 21s
chore(deps): bump software.amazon.awssdk:bom from 2.30.18 to 2.31.5 in /DynamoDbEncryption/runtimes/java Check TODOs in code #2213: Pull request #1745 opened by dependabot bot
March 21, 2025 03:39 23s dependabot/gradle/DynamoDbEncryption/runtimes/java/software.amazon.awssdk-bom-2.31.5
dependabot/gradle/DynamoDbEncryption/runtimes/java/software.amazon.awssdk-bom-2.31.5
March 21, 2025 03:39 23s
chore(deps): bump software.amazon.awssdk:bom from 2.30.18 to 2.31.5 in /TestVectors/runtimes/java Check TODOs in code #2211: Pull request #1743 opened by dependabot bot
March 21, 2025 03:09 18s dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-bom-2.31.5
dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-bom-2.31.5
March 21, 2025 03:09 18s
chore(deps): bump software.amazon.awssdk:core from 2.30.18 to 2.31.5 in /TestVectors/runtimes/java Check TODOs in code #2212: Pull request #1744 opened by dependabot bot
March 21, 2025 03:09 23s dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-core-2.31.5
dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-core-2.31.5
March 21, 2025 03:09 23s
chore: Remove Dafny warnings Check TODOs in code #2210: Pull request #1742 synchronize by seebees
March 20, 2025 20:50 22s seebees/fail-on-warning
seebees/fail-on-warning
March 20, 2025 20:50 22s
chore: Remove Dafny warnings Check TODOs in code #2209: Pull request #1742 opened by seebees
March 20, 2025 20:32 20s seebees/fail-on-warning
seebees/fail-on-warning
March 20, 2025 20:32 20s
chore(deps): bump actions-rust-lang/setup-rust-toolchain from 1.10.1 to 1.11.0 in /.github/workflows Check TODOs in code #2208: Pull request #1682 synchronize by dependabot bot
March 20, 2025 19:57 17s dependabot/github_actions/dot-github/workflows/actions-rust-lang/setup-rust-toolchain-1.11.0
dependabot/github_actions/dot-github/workflows/actions-rust-lang/setup-rust-toolchain-1.11.0
March 20, 2025 19:57 17s
chore: re-enable Dafny for MacOS (#1738) Check TODOs in code #2207: Commit 6f729c3 pushed by seebees
March 20, 2025 19:56 19s main
main
March 20, 2025 19:56 19s
chore: re-enable Dafny for MacOS Check TODOs in code #2206: Pull request #1738 synchronize by seebees
March 20, 2025 16:41 19s seebees/re-enable-verification
seebees/re-enable-verification
March 20, 2025 16:41 19s
chore(deps): bump software.amazon.awssdk:bom from 2.30.18 to 2.31.4 in /TestVectors/runtimes/java Check TODOs in code #2205: Pull request #1741 opened by dependabot bot
March 20, 2025 03:52 25s dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-bom-2.31.4
dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-bom-2.31.4
March 20, 2025 03:52 25s
chore(deps): bump software.amazon.awssdk:core from 2.30.18 to 2.31.4 in /TestVectors/runtimes/java Check TODOs in code #2204: Pull request #1740 opened by dependabot bot
March 20, 2025 03:52 16s dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-core-2.31.4
dependabot/gradle/TestVectors/runtimes/java/software.amazon.awssdk-core-2.31.4
March 20, 2025 03:52 16s
chore(deps): bump software.amazon.awssdk:bom from 2.30.18 to 2.31.4 in /DynamoDbEncryption/runtimes/java Check TODOs in code #2203: Pull request #1739 opened by dependabot bot
March 20, 2025 03:41 19s dependabot/gradle/DynamoDbEncryption/runtimes/java/software.amazon.awssdk-bom-2.31.4
dependabot/gradle/DynamoDbEncryption/runtimes/java/software.amazon.awssdk-bom-2.31.4
March 20, 2025 03:41 19s
chore: re-enable Dafny for MacOS Check TODOs in code #2202: Pull request #1738 synchronize by seebees
March 19, 2025 23:53 17s seebees/re-enable-verification
seebees/re-enable-verification
March 19, 2025 23:53 17s
chore: re-enable Dafny for MacOS Check TODOs in code #2201: Pull request #1738 synchronize by seebees
March 19, 2025 20:57 20s seebees/re-enable-verification
seebees/re-enable-verification
March 19, 2025 20:57 20s