search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Update tests.yml for release 4.3.0 #144

Open MikaelMayer opened 9 months ago

MikaelMayer commented 9 months ago

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.