From b307ebba69f2df06a91ccf0beab59bc3c4760f06 Mon Sep 17 00:00:00 2001
From: Calin Teodor <t.calin@student.vu.nl>
Date: Wed, 14 Oct 2026 12:49:32 -0700
Subject: [PATCH] ci: pin third-party actions in ci.yml to commit SHAs

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 91d04b4..484bceb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ jobs:
           echo "$(find . -name '*.md' -not -path './.git/*' | wc -l) markdown files"
 
       - name: Lint markdown (advisory)
-        uses: DavidAnson/markdownlint-cli2-action@v16
+        uses: DavidAnson/markdownlint-cli2-action@b4c9feab76d8025d1e83c653fa3990936df0e6c8 # v16
         continue-on-error: true
         with:
           globs: '**/*.md'