Closed atomb closed 1 year ago
The previous version happened to work okay in the current CI, but fails when referring to the library tests from the Dafny CI.
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
The previous version happened to work okay in the current CI, but fails when referring to the library tests from the Dafny CI.
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.