Skip to content

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

.github/workflows/ci_todos.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,141 workflow run results
1,141 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fix dafny version release scripts (#1369)
.github/workflows/ci_todos.yml #1354: Commit 0691bce pushed by josecorella
September 17, 2024 19:52 23s main
September 17, 2024 19:52 23s
chore: fix dafny version release scripts
.github/workflows/ci_todos.yml #1353: Pull request #1369 opened by josecorella
September 17, 2024 19:49 17s jocorell/fix-release-builds
September 17, 2024 19:49 17s
chore(release): 3.7.0 (#1368)
.github/workflows/ci_todos.yml #1352: Commit d8268b0 pushed by josecorella
September 17, 2024 18:21 18s main
September 17, 2024 18:21 18s
chore(release): 3.7.0
.github/workflows/ci_todos.yml #1351: Pull request #1368 synchronize by josecorella
September 17, 2024 17:24 20s update-changelog-3.7.0
September 17, 2024 17:24 20s
chore(release): 3.7.0
.github/workflows/ci_todos.yml #1350: Pull request #1368 opened by josecorella
September 17, 2024 17:14 21s update-changelog-3.7.0
September 17, 2024 17:14 21s
feat: bump to dafny 4.8.0 and mpl 1.6.0 (#1356)
.github/workflows/ci_todos.yml #1345: Commit fedc0ad pushed by ajewellamz
September 16, 2024 16:48 19s main
September 16, 2024 16:48 19s
feat: bump to dafny 4.8.0 and mpl 1.6.0
.github/workflows/ci_todos.yml #1341: Pull request #1356 synchronize by josecorella
September 13, 2024 19:07 41s jocorell/bump-dafny-mpl
September 13, 2024 19:07 41s
feat: bump to dafny 4.8.0 and mpl 1.6.0
.github/workflows/ci_todos.yml #1340: Pull request #1356 synchronize by josecorella
September 13, 2024 18:26 18s jocorell/bump-dafny-mpl
September 13, 2024 18:26 18s
chore: remove assert to fix verification (#1360)
.github/workflows/ci_todos.yml #1339: Commit 8849c1e pushed by josecorella
September 13, 2024 18:24 17s main
September 13, 2024 18:24 17s
chore: remove assert to fix verification
.github/workflows/ci_todos.yml #1338: Pull request #1360 opened by ajewellamz
September 13, 2024 16:58 18s ajewell/verification
September 13, 2024 16:58 18s
feat: bump to dafny 4.8.0 and mpl 1.6.0
.github/workflows/ci_todos.yml #1334: Pull request #1356 synchronize by josecorella
September 13, 2024 01:26 23s jocorell/bump-dafny-mpl
September 13, 2024 01:26 23s
feat: bump to dafny 4.8.0 and mpl 1.6.0
.github/workflows/ci_todos.yml #1333: Pull request #1356 synchronize by josecorella
September 13, 2024 01:17 19s jocorell/bump-dafny-mpl
September 13, 2024 01:17 19s
feat: bump to dafny 4.8.0 and mpl 1.6.0
.github/workflows/ci_todos.yml #1332: Pull request #1356 opened by josecorella
September 13, 2024 00:02 16s jocorell/bump-dafny-mpl
September 13, 2024 00:02 16s