From facef54ecc7cf773f3216e2f3403c67ac4c3079f Mon Sep 17 00:00:00 2001 From: Mikhail Date: Mon, 21 Aug 2023 01:59:17 +0700 Subject: [PATCH] Update and rename docker-image.yml to main.yml --- .github/workflows/{docker-image.yml => main.yml} | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) rename .github/workflows/{docker-image.yml => main.yml} (92%) diff --git a/.github/workflows/docker-image.yml b/.github/workflows/main.yml similarity index 92% rename from .github/workflows/docker-image.yml rename to .github/workflows/main.yml index 6dd87c8..990e278 100644 --- a/.github/workflows/docker-image.yml +++ b/.github/workflows/main.yml @@ -20,8 +20,9 @@ jobs: - name: Submodules run: git submodule update --init --recursive --depth 1 - - name: Checkout spectrum - run: git checkout spectrum + - uses: actions/checkout@v3 + with: + ref: spectrum - name: Configure CMake run: cmake .