From f2fa29e5ef5c8c7d7375e4c8a37dbba1012fb95c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 3 May 2024 11:32:44 +0200
Subject: `./charon-pin` stores the current charon commit

It is kept up-to-date in CI
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github/workflows')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4826114e..eeb423b6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -36,6 +36,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: nix build -L .#checks.x86_64-linux.aeneas-check-tidiness
+      - run: nix build -L .#checks.x86_64-linux.check-charon-pin
       - 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