summaryrefslogtreecommitdiff
path: root/backends
diff options
context:
space:
mode:
authorSon HO2024-04-23 16:37:54 +0200
committerGitHub2024-04-23 16:37:54 +0200
commitf3007820a21d11721507f5054b30bf5ae99a7b95 (patch)
tree8c84f338a6b86dd146500e18708594a0e449c880 /backends
parent008596885544999b159244528c5a3b2a17151721 (diff)
parent10e5ca4c48c1d5729ee877612b7d95dfe2636159 (diff)
Merge pull request #154 from AeneasVerif/ci-fmt
ci: check code formatting and forbid warnings
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions