search

dafny-lang / libraries

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

chore: Add continuous integration #11

Closed robin-aws closed 3 years ago

robin-aws commented 3 years ago

See successful run on the source fork: https://github.com/robin-aws/libraries/runs/3477041496?check_suite_focus=true