From cdaf523aa8a1d86490069f37f2c3df9696243be4 Mon Sep 17 00:00:00 2001 From: "Sergio R. Caprile" Date: Wed, 19 Jul 2023 14:25:32 -0300 Subject: [PATCH] codeql --- .github/workflows/codeql.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 056e4c6d..bcce3b04 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -23,8 +23,8 @@ jobs: - name: Initialize CodeQL uses: github/codeql-action/init@v2 - with: - languages: cpp + with: + languages: cpp - run: | make test make mip_test