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

fix(Dafny): Nested references set comprehension (#612) Push CI #128: Commit 55c68f4 pushed by lucasmcdonald3
September 26, 2024 20:45 10m 23s main-1.x
main-1.x
September 26, 2024 20:45 10m 23s
feat: Rust codegen for Constraints (#582) Push CI #127: Commit 336d788 pushed by robin-aws
September 26, 2024 00:10 12m 24s main-1.x
main-1.x
September 26, 2024 00:10 12m 24s
chore(Python): Add target to only transpile test code (#589) Push CI #126: Commit 1143f13 pushed by lucasmcdonald3
September 19, 2024 16:25 11m 4s main-1.x
main-1.x
September 19, 2024 16:25 11m 4s
fix(Python): Handle docformatter exit codes (#588) Push CI #125: Commit e0caa14 pushed by lucasmcdonald3
September 18, 2024 18:56 10m 41s main-1.x
main-1.x
September 18, 2024 18:56 10m 41s
doc(Python): Document TODO to refactor string conversion (#587) Push CI #124: Commit 9dd74be pushed by lucasmcdonald3
September 17, 2024 22:41 10m 18s main-1.x
main-1.x
September 17, 2024 22:41 10m 18s
feat(Python): Format docstrings (#586) Push CI #123: Commit dcc45dc pushed by robin-aws
September 17, 2024 21:52 12m 38s main-1.x
main-1.x
September 17, 2024 21:52 12m 38s
fix: Misc Rust bug fixes, mostly around @positional (#581) Push CI #122: Commit 779d38d pushed by robin-aws
September 12, 2024 23:30 10m 15s main-1.x
main-1.x
September 12, 2024 23:30 10m 15s
Only generate operations in service namespace (#580) Push CI #121: Commit 3e098eb pushed by robin-aws
September 12, 2024 17:00 10m 37s main-1.x
main-1.x
September 12, 2024 17:00 10m 37s
feat: Positional support on rust (#579) Push CI #120: Commit f2053d5 pushed by robin-aws
September 12, 2024 14:04 10m 25s main-1.x
main-1.x
September 12, 2024 14:04 10m 25s
Add local_polymorph_rust_single (#578) Push CI #119: Commit 095f661 pushed by ajewellamz
September 11, 2024 22:58 12m 17s main-1.x
main-1.x
September 11, 2024 22:58 12m 17s
feat: add Positional Rust TestModel (#497) Push CI #118: Commit a9039bb pushed by robin-aws
September 11, 2024 20:36 10m 19s main-1.x
main-1.x
September 11, 2024 20:36 10m 19s
chore(deps-dev): bump black (#547) Push CI #117: Commit e6c895c pushed by ajewellamz
September 11, 2024 20:03 10m 59s main-1.x
main-1.x
September 11, 2024 20:03 10m 59s
chore: prepare for sdk in Rust (#574) Push CI #116: Commit 5af8da5 pushed by ajewellamz
September 11, 2024 19:19 10m 57s main-1.x
main-1.x
September 11, 2024 19:19 10m 57s
You’re never too experienced to make dumb mistakes :P (#577) Push CI #115: Commit 7b2982a pushed by robin-aws
September 11, 2024 18:00 10m 44s main-1.x
main-1.x
September 11, 2024 18:00 10m 44s
feat: Handle shapes from other namespaces for Rust (#571) Push CI #114: Commit 97e702a pushed by robin-aws
September 11, 2024 16:35 8m 11s main-1.x
main-1.x
September 11, 2024 16:35 8m 11s
feat: Rust codegen for Errors test model (#573) Push CI #113: Commit 45efc82 pushed by robin-aws
September 11, 2024 16:08 10m 37s main-1.x
main-1.x
September 11, 2024 16:08 10m 37s
fix: use smithy dafny root for check dafny version script (#570) Push CI #112: Commit 98939e1 pushed by josecorella
September 10, 2024 19:01 11m 41s main-1.x
main-1.x
September 10, 2024 19:01 11m 41s
chore(Makefile): update make targets to new cli (#478) Push CI #111: Commit ff23bb9 pushed by josecorella
September 9, 2024 16:28 11m 7s main-1.x
main-1.x
September 9, 2024 16:28 11m 7s
feat: Resource support for rust (#568) Push CI #110: Commit 31abe84 pushed by robin-aws
September 9, 2024 15:46 11m 41s main-1.x
main-1.x
September 9, 2024 15:46 11m 41s
fix(Python): Remove all async calls deeper inside client.py (#567) Push CI #109: Commit 2e98606 pushed by lucasmcdonald3
September 6, 2024 16:23 11m 29s main-1.x
main-1.x
September 6, 2024 16:23 11m 29s
chore(tests): Extend LocalService and support on Rust (#560) Push CI #108: Commit 87e736e pushed by robin-aws
September 5, 2024 23:43 11m 8s main-1.x
main-1.x
September 5, 2024 23:43 11m 8s
fix: Python converts native strings to Dafny UTF-16 strings (#561) Push CI #107: Commit d4c2094 pushed by lucasmcdonald3
September 5, 2024 20:42 11m 14s main-1.x
main-1.x
September 5, 2024 20:42 11m 14s
feat: real code generation for Constructor in Rust (#562) Push CI #106: Commit a9afaac pushed by robin-aws
September 5, 2024 18:57 10m 50s main-1.x
main-1.x
September 5, 2024 18:57 10m 50s
feat: Rust codegen for Aggregate and Union models (#549) Push CI #105: Commit 5d49fcc pushed by alex-chew
September 4, 2024 21:20 12m 27s main-1.x
main-1.x
September 4, 2024 21:20 12m 27s
chore: Rename Python standard library (#552) Push CI #104: Commit 8dff896 pushed by lucasmcdonald3
September 4, 2024 21:03 12m 51s main-1.x
main-1.x
September 4, 2024 21:03 12m 51s