Skip to content

Actions: smithy-lang/smithy-dafny

Actions

Push CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add Dafny 4.8.0 (#522) Push CI #103: Commit 3c0a1ce pushed by josecorella
September 4, 2024 00:12 12m 5s main-1.x
main-1.x
September 4, 2024 00:12 12m 5s
chore(ci): make all pull.yml jobs required in branch protection autom… Push CI #102: Commit 17425b1 pushed by robin-aws
September 3, 2024 20:56 10m 57s main-1.x
main-1.x
September 3, 2024 20:56 10m 57s
fix: bump Rust version to 1.80 (#553) Push CI #101: Commit dfca8d9 pushed by ajewellamz
September 3, 2024 16:08 5m 45s main-1.x
main-1.x
September 3, 2024 16:08 5m 45s
feat: Rust codegen for more SimpleTypes models (#542) Push CI #100: Commit 8fde5f4 pushed by alex-chew
September 2, 2024 19:00 10m 27s main-1.x
main-1.x
September 2, 2024 19:00 10m 27s
chore(Python): Unknown union variants are labelled as "Unknown" (#548) Push CI #99: Commit 317bfcb pushed by lucasmcdonald3
August 27, 2024 22:52 11m 1s main-1.x
main-1.x
August 27, 2024 22:52 11m 1s
feat!: Python codegen (#503) Push CI #98: Commit 768014f pushed by lucasmcdonald3
August 27, 2024 18:36 11m 34s main-1.x
main-1.x
August 27, 2024 18:36 11m 34s
fix: MPL CI with Smithy-Dafny head (#546) Push CI #97: Commit 1b395e0 pushed by lucasmcdonald3
August 26, 2024 23:21 10m 7s main-1.x
main-1.x
August 26, 2024 23:21 10m 7s
feat: Rust codegen for SimpleBoolean (#529) Push CI #96: Commit 9646019 pushed by robin-aws
August 23, 2024 22:29 10m 33s main-1.x
main-1.x
August 23, 2024 22:29 10m 33s
chore(tests): Include @dafnyUTF8Bytes in SimpleString test model (#539) Push CI #95: Commit 43c5a74 pushed by robin-aws
August 23, 2024 20:50 9m 45s main-1.x
main-1.x
August 23, 2024 20:50 9m 45s
Benerate SimpleErrors (#440) Push CI #94: Commit 79cdfe4 pushed by robin-aws
August 23, 2024 18:23 9m 56s main-1.x
main-1.x
August 23, 2024 18:23 9m 56s
Add more operations to ddb-lite, fix a small codegen bug (#520) Push CI #93: Commit ec8f2a3 pushed by robin-aws
August 22, 2024 19:35 11m 42s main-1.x
main-1.x
August 22, 2024 19:35 11m 42s
chore: Optionally remove extern names when compiling to certain langu… Push CI #92: Commit 0d4266e pushed by lucasmcdonald3
August 22, 2024 15:29 10m 22s main-1.x
main-1.x
August 22, 2024 15:29 10m 22s
feat: benerate LanguageSpecificLogic for Rust (#507) Push CI #91: Commit 91e1a94 pushed by robin-aws
August 22, 2024 00:02 9m 57s main-1.x
main-1.x
August 22, 2024 00:02 9m 57s
fix: Update Rust runtime in nightly build, fix regression from Rust r… Push CI #90: Commit 80df331 pushed by robin-aws
August 21, 2024 19:43 10m 1s main-1.x
main-1.x
August 21, 2024 19:43 10m 1s
fix: Spurious error when colons are in file paths on Windows (#525) Push CI #89: Commit 96c0b37 pushed by robin-aws
August 20, 2024 22:59 10m 41s main-1.x
main-1.x
August 20, 2024 22:59 10m 41s
Remove implementation_from_dafny.rs from git (#523) Push CI #88: Commit 7db4513 pushed by robin-aws
August 19, 2024 20:27 9m 53s main-1.x
main-1.x
August 19, 2024 20:27 9m 53s
feat: Support externs in rust without patch files (#521) Push CI #87: Commit c2acbe8 pushed by robin-aws
August 19, 2024 16:32 9m 58s main-1.x
main-1.x
August 19, 2024 16:32 9m 58s
feat: Partial support for SDK style libraries in Rust (#510) Push CI #86: Commit 9b1bf1d pushed by robin-aws
August 15, 2024 20:18 11m 28s main-1.x
main-1.x
August 15, 2024 20:18 11m 28s
Update to latest Smithy and remove workaround (#514) Push CI #85: Commit 51c93d9 pushed by robin-aws
August 15, 2024 02:41 9m 18s main-1.x
main-1.x
August 15, 2024 02:41 9m 18s
Update fixed feat-rust commit in CI, test tip of feat-rust in nightly… Push CI #84: Commit 89cbe7f pushed by robin-aws
August 13, 2024 15:29 9m 27s main-1.x
main-1.x
August 13, 2024 15:29 9m 27s
chore: apply patches verbosely in CodegenEngine (#509) Push CI #83: Commit a1603bd pushed by robin-aws
August 8, 2024 23:50 9m 18s main-1.x
main-1.x
August 8, 2024 23:50 9m 18s
chore: add mkdir for rust (#480) Push CI #82: Commit 0f98539 pushed by robin-aws
August 6, 2024 22:55 9m 12s main-1.x
main-1.x
August 6, 2024 22:55 9m 12s
feat: add Constructor Rust TestModel (#426) Push CI #81: Commit a0fd2c5 pushed by robin-aws
July 16, 2024 20:18 8m 56s main-1.x
main-1.x
July 16, 2024 20:18 8m 56s
chore: kms-lite Rust beneration (#473) Push CI #80: Commit 1c23ec6 pushed by robin-aws
July 16, 2024 01:55 9m 12s main-1.x
main-1.x
July 16, 2024 01:55 9m 12s
chore: Move implementation_from_dafny.rs out of dafny_impl subcrate, … Push CI #79: Commit 473d095 pushed by robin-aws
July 15, 2024 17:50 9m 3s main-1.x
main-1.x
July 15, 2024 17:50 9m 3s