Closed robin-aws closed 3 months ago
Description of changes:
Adding the very first bit of CI to regression test what Rust support is working: just verifying we can build UInt.dfy from StandardLibrary.
UInt.dfy
StandardLibrary
See StandardLibrary's Makefile for comments about the current scope and TODOs to expand it.
Dry-run of nightly build: https://github.com/smithy-lang/smithy-dafny/actions/runs/8303185805/job/22726859333. Note Java is failing because Dafny is in the middle of releasing 4.5 but hasn't released the 4.5 Java runtime yet.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes:
Adding the very first bit of CI to regression test what Rust support is working: just verifying we can build
UInt.dfy
fromStandardLibrary
.See
StandardLibrary
's Makefile for comments about the current scope and TODOs to expand it.Dry-run of nightly build: https://github.com/smithy-lang/smithy-dafny/actions/runs/8303185805/job/22726859333. Note Java is failing because Dafny is in the middle of releasing 4.5 but hasn't released the 4.5 Java runtime yet.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.