diff options
author | Son HO | 2024-04-23 16:37:54 +0200 |
---|---|---|
committer | GitHub | 2024-04-23 16:37:54 +0200 |
commit | f3007820a21d11721507f5054b30bf5ae99a7b95 (patch) | |
tree | 8c84f338a6b86dd146500e18708594a0e449c880 /tests/fstar/misc/Makefile | |
parent | 008596885544999b159244528c5a3b2a17151721 (diff) | |
parent | 10e5ca4c48c1d5729ee877612b7d95dfe2636159 (diff) |
Merge pull request #154 from AeneasVerif/ci-fmt
ci: check code formatting and forbid warnings
Diffstat (limited to 'tests/fstar/misc/Makefile')
0 files changed, 0 insertions, 0 deletions