Update tests.yml for release 4.3.0#144

MikaelMayer wants to merge 1 commit intomasterdafny-lang/libraries:masterfrom

chore-release-4.3.0dafny-lang/libraries:chore-release-4.3.0Copy head branch name to clipboard