tchajed/dafny-ci-test
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
7 commits 1 branch 0 tags 34 KiB
  • Dafny 100%
Find a file
Exact
Tej Chajed 1637dd3952
 dotnet is already installed
2020-12-28 19:55:17 -06:00
.github/workflows dotnet is already installed 2020-12-28 19:55:17 -06:00
test.dfy Initial test 2020-12-28 19:45:56 -06:00