diff options
| author | Nadrieril | 2024-04-22 11:55:55 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-04-22 12:00:20 +0200 |
| commit | 40e797fbf4d7bb47ef48597f25fda4e0b78633c7 (patch) | |
| tree | c8f415023e96247d23080374b2a74d234b69703f /Makefile | |
| parent | 1e2fce0e1fa42fa2ba5800332e1fdfcba2294657 (diff) | |
ci: check code formatting
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -113,7 +113,8 @@ verify: # Reformat the project .PHONY: format format: - cd compiler && dune build @fmt --auto-promote + @# `|| `true` because the command returns an error if it changed anything, which we don't care about. + cd compiler && dune fmt || true # The commands to run Charon to generate the .llbc files ifeq (, $(REGEN_LLBC)) |