From 40e797fbf4d7bb47ef48597f25fda4e0b78633c7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 22 Apr 2024 11:55:55 +0200
Subject: ci: check code formatting

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github/workflows/ci.yml')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6b5aacf0..66fda7af 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -11,6 +11,7 @@ jobs:
     steps:
       #- uses: cachix/install-nix-action@v22
       - uses: actions/checkout@v4
+      - run: nix build -L .#checks.x86_64-linux.aeneas-check-tidiness
       - run: nix build -L .#aeneas
       - run: nix build -L .#checks.x86_64-linux.aeneas-tests
       - run: nix build -L .#checks.x86_64-linux.aeneas-verify-fstar
-- 
cgit v1.2.3