Skip to content

Actions: smithy-lang/smithy-dafny

Push CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(Go): fix Nativewrapper on positional trait (#753)
Push CI #180: Commit bf06e19 pushed by rishav-karanjit
December 23, 2024 23:14 17m 7s main-1.x
December 23, 2024 23:14 17m 7s
fix: Just emit a comment for validating SDK output structures in Rust…
Push CI #179: Commit f67c210 pushed by robin-aws
December 18, 2024 18:10 17m 40s main-1.x
December 18, 2024 18:10 17m 40s
feat(rust): validate nested constraints (#750)
Push CI #178: Commit fc8abc1 pushed by robin-aws
December 18, 2024 00:38 17m 44s main-1.x
December 18, 2024 00:38 17m 44s
fix(rust): validate config on client construction (#748)
Push CI #177: Commit 5b66889 pushed by robin-aws
December 13, 2024 20:57 14m 5s main-1.x
December 13, 2024 20:57 14m 5s
Allow @default despite not supporting it for now (#746)
Push CI #176: Commit 52427df pushed by robin-aws
December 12, 2024 17:56 14m 33s main-1.x
December 12, 2024 17:56 14m 33s
feat: Explicitly reject unsupported shapes, traits, etc. (#257)
Push CI #175: Commit 616a123 pushed by robin-aws
December 11, 2024 23:11 13m 18s main-1.x
December 11, 2024 23:11 13m 18s
December 11, 2024 01:00 13m 3s
fix: escape reserved words in Rust (#742)
Push CI #173: Commit e42c17f pushed by ajewellamz
December 10, 2024 19:48 12m 29s main-1.x
December 10, 2024 19:48 12m 29s
feat: OpaqueWithText (#741)
Push CI #172: Commit 5a7382d pushed by ShubhamChaturvedi7
December 10, 2024 17:32 20m 3s main-1.x
December 10, 2024 17:32 20m 3s
fix(Go): fix missing imports (#739)
Push CI #171: Commit 8a7d9fe pushed by ShubhamChaturvedi7
December 9, 2024 23:58 12m 35s main-1.x
December 9, 2024 23:58 12m 35s
chore(pr-ci-rust): fix by updating Dafny version (#740)
Push CI #170: Commit caef779 pushed by RitvikKapila
December 6, 2024 23:14 12m 11s main-1.x
December 6, 2024 23:14 12m 11s
chore(rust): add copyright string (#738)
Push CI #169: Commit 99d3dd9 pushed by RitvikKapila
December 6, 2024 16:31 12m 43s main-1.x
December 6, 2024 16:31 12m 43s
Golang/reviewed (#668)
Push CI #168: Commit b0ea467 pushed by robin-aws
December 6, 2024 00:32 13m 42s main-1.x
December 6, 2024 00:32 13m 42s
chore(Makefile): polymorph Rust with make polymorph_code_gen (#730)
Push CI #167: Commit c06e2c0 pushed by RitvikKapila
November 22, 2024 16:05 15m 20s main-1.x
November 22, 2024 16:05 15m 20s
November 21, 2024 22:58 13m 19s
chore: use --rust-module-name (#673)
Push CI #165: Commit 180ad67 pushed by robin-aws
November 13, 2024 23:23 14m 1s main-1.x
November 13, 2024 23:23 14m 1s
chore(ci): Downgrade unreleased Dafny versions to fix nightly build (…
Push CI #164: Commit e572afd pushed by robin-aws
November 13, 2024 18:56 11m 44s main-1.x
November 13, 2024 18:56 11m 44s
fix: Opaque to Exception conversion (#710)
Push CI #163: Commit cb301b9 pushed by ajewellamz
November 11, 2024 21:48 11m 32s main-1.x
November 11, 2024 21:48 11m 32s
chore: add new error type OpaqueWithText (#677)
Push CI #162: Commit fe48098 pushed by ajewellamz
November 8, 2024 21:25 11m 41s main-1.x
November 8, 2024 21:25 11m 41s
fix: timestamp prefix check (#691)
Push CI #161: Commit 465b916 pushed by ShubhamChaturvedi7
November 7, 2024 19:27 12m 28s main-1.x
November 7, 2024 19:27 12m 28s
chore(Python): Support orphaned long shapes (#676)
Push CI #160: Commit d8870f5 pushed by lucasmcdonald3
November 4, 2024 20:06 12m 15s main-1.x
November 4, 2024 20:06 12m 15s
chore: bump macos from 12 to 13 in CI (#678)
Push CI #159: Commit d4eb195 pushed by ajewellamz
November 4, 2024 18:54 11m 32s main-1.x
November 4, 2024 18:54 11m 32s
October 31, 2024 18:41 12m 25s
chore: revert opaque string (#675)
Push CI #157: Commit c47e083 pushed by ajewellamz
October 31, 2024 17:53 11m 7s main-1.x
October 31, 2024 17:53 11m 7s
feat: enable ddbv2 support (#663)
Push CI #156: Commit 9e2b88b pushed by ShubhamChaturvedi7
October 28, 2024 19:47 11m 3s main-1.x
October 28, 2024 19:47 11m 3s