Skip to content

Actions: smithy-lang/smithy-dafny

Actions

Push CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Always pass -compileSuffix:1 (#316) Push CI #9: Commit b233778 pushed by robin-aws
February 7, 2024 19:10 8m 1s main-1.x
main-1.x
February 7, 2024 19:10 8m 1s
fix(.NET): validate that MemoryStream instances are backed by an arra… Push CI #8: Commit 626a84b pushed by kessplas
February 1, 2024 22:13 2m 46s main-1.x
main-1.x
February 1, 2024 22:13 2m 46s
fix: Incorrect Dafny version check for Java type descriptors changes … Push CI #7: Commit 32281c8 pushed by robin-aws
February 1, 2024 15:37 2m 57s main-1.x
main-1.x
February 1, 2024 15:37 2m 57s
feat: Compatibility with Dafny 4.4 and upcoming 4.5 (#310) Push CI #6: Commit 3378be1 pushed by robin-aws
January 26, 2024 21:12 3m 9s main-1.x
main-1.x
January 26, 2024 21:12 3m 9s
feat(TestModels): MultipleModels (#309) Push CI #5: Commit 07b8dfe pushed by lucasmcdonald3
December 22, 2023 17:10 3m 10s main-1.x
main-1.x
December 22, 2023 17:10 3m 10s
feat(TestModels): LanguageSpecificLogic (#308) Push CI #4: Commit b01612e pushed by lucasmcdonald3
December 20, 2023 18:07 3m 19s main-1.x
main-1.x
December 20, 2023 18:07 3m 19s
feat: convert ALL exceptions to Results, not just expected ones (#307) Push CI #3: Commit 1ae86d9 pushed by ajewellamz
December 18, 2023 22:24 3m 24s main-1.x
main-1.x
December 18, 2023 22:24 3m 24s
feat: add default value None for optional members (#305) Push CI #2: Commit 91c0948 pushed by ajewellamz
December 4, 2023 22:18 3m 14s main-1.x
main-1.x
December 4, 2023 22:18 3m 14s
feat: add type descriptors for data constructors in Java, when necess… Push CI #1: Commit 8106b08 pushed by robin-aws
November 27, 2023 23:17 3m 26s main-1.x
main-1.x
November 27, 2023 23:17 3m 26s