diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 0d968f791..abcb22483 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -119,7 +119,7 @@ jobs:
     - name: Skip remaining CI steps if latest commit message begins with ;
       run: |
         git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \
-        | grep -qE '^ *;' || echo “::set-env name=CONTINUE::true”
+        | grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV 
 
     # things to be cached/restored:
 
diff --git a/.github/workflows/mac.yml b/.github/workflows/mac.yml
index b0b7d61c5..45a107560 100644
--- a/.github/workflows/mac.yml
+++ b/.github/workflows/mac.yml
@@ -76,7 +76,7 @@ jobs:
     - name: Skip remaining CI steps if latest commit message begins with ;
       run: |
         git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \
-        | grep -qE '^ *;' || echo “::set-env name=CONTINUE::true”
+        | grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV 
 
     # things to be cached/restored:
 
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 4ef59748e..15332f81e 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -83,7 +83,7 @@ jobs:
     - name: Skip remaining CI steps if latest commit message begins with ;
       run: |
         git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \
-        | grep -qE '^ *;' || echo “::set-env name=CONTINUE::true”
+        | grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV 
 
     # things to be cached/restored:
 
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index 0e95fd0e5..c1d37dd32 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -71,7 +71,7 @@ jobs:
       shell: bash
       run: |
         git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \
-        | grep -qE '^ *;' || echo “::set-env name=CONTINUE::true”
+        | grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV 
 
     # things to be cached/restored: