260222.085633.CET 0. revise .cirrus.yml; 1. remove actionlint from the workflow files; 2. add actionlint.yml

Author: zaikunzhang

.cirrus.yml

@@ -36,7 +36,7 @@ task:
 
     - name: AMD64 FreeBSD
       freebsd_instance:
-        image_family: freebsd-14-0
+        image_family: freebsd-16-0-snap
         architecture: amd64
 
     # The following seems not available as of 20240409. See
@@ -47,9 +47,7 @@ task:
     #     image_family: freebsd-14-0
     #     architecture: arm64
 
-
   dependencies_script: |
-    set -x
     set -euo pipefail
 
     echo "MK=make" >> $CIRRUS_ENV
@@ -90,8 +88,7 @@ task:
     export CC=gcc
     CFLAGS="-Wall -Wextra -Wpedantic -Werror"
     export FC=gfortran
-    #export FFLAGS='-Wall -Wextra -Wpedantic -Werror -fimplicit-none -frecursive -fcheck=all -fstack-check -Wno-function-elimination -Wno-trampolines'
-    export FFLAGS='-Wall -Wextra -Wpedantic -Werror -fimplicit-none -frecursive -fcheck=all -fstack-check -Wno-function-elimination'
+    export FFLAGS='-Wall -Wextra -Wpedantic -Werror -fimplicit-none -ftrampoline-impl=heap -frecursive -fcheck=all -fstack-check -Wno-function-elimination'
 
     $FC --version
     $CC --version
@@ -108,7 +105,8 @@ task:
     cd $ROOT_DIR/fortran/tests
 
     # Decide the solver to test by $(date + %N)
-    SOLVER_NUM=$(($(date +%N) % 5))
+    # The 10# prefix tells bash to interpret the number as base 10, regardless of leading zeros.
+    SOLVER_NUM=$((10#$(date +%N) % 5))
     if [ $SOLVER_NUM -eq 0 ] ; then
         SOLVER=uobyqa
     elif [ $SOLVER_NUM -eq 1 ] ; then
@@ -123,11 +121,13 @@ task:
     echo $SOLVER_NUM $SOLVER
 
     # Decide the integer kind to test by $(date +%N)
-    IK=$((2**($(date +%N) % 3 + 1)))
+    # The 10# prefix tells bash to interpret the number as base 10, regardless of leading zeros.
+    IK=$((2**(10#$(date +%N) % 3 + 1)))
     echo $IK
 
     # Decide the real kind to test by $(date +%N)
-    RK=$((2**($(date +%N) % 3 + 2)))
+    # The 10# prefix tells bash to interpret the number as base 10, regardless of leading zeros.
+    RK=$((2**(10#$(date +%N) % 3 + 2)))
     echo $RK
 
     $MK clean && $MK gtest_i${IK}_r${RK}_d1_tst.$SOLVER

.github/actions/spelling/allow.txt

@@ -2560,3 +2560,4 @@ sumxs
 aoccflang
 actionlint
 timelimit
+euo

.github/workflows/actionlint.yml

@@ -0,0 +1,42 @@
+name: Lint the workflows
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+  workflow_dispatch:
+
+
+jobs:
+
+  actionlint:
+    name: actionlint
+    runs-on: ubuntu-latest
+
+    steps:
+
+    - name: Checkout
+      uses: actions/checkout@v6.0.2
+
+    - name: actionlint
+      id: actionlint  #optional, id required only when outputs are used in the workflow steps later
+      uses: raven-actions/actionlint@v2
+      with:
+        matcher: false  # optional
+        cache: false  # optional
+        fail-on-error: false  # optional
+        files: ".github/workflows/*.yml"
+        flags: "-ignore SC1090 -ignore SC2015 -ignore SC2028 -ignore SC2035 -ignore SC2046 -ignore SC2086 -ignore SC2155 -ignore SC2193 -ignore SC2242"
+
+    - name: actionlint Summary
+      if: ${{ steps.actionlint.outputs.exit-code != 0 }}  # example usage, do echo only when actionlint action failed
+      run: |
+        echo "Used actionlint version ${{ steps.actionlint.outputs.version-semver }}"
+        echo "Used actionlint release ${{ steps.actionlint.outputs.version-tag }}"
+        echo "actionlint ended with ${{ steps.actionlint.outputs.exit-code }} exit code"
+        echo "actionlint ended because '${{ steps.actionlint.outputs.exit-message }}'"
+        echo "actionlint found ${{ steps.actionlint.outputs.total-errors }} errors"
+        echo "actionlint checked ${{ steps.actionlint.outputs.total-files }} files"
+        echo "actionlint cache used: ${{ steps.actionlint.outputs.cache-hit }}"
+        exit ${{ steps.actionlint.outputs.exit-code }}

.github/workflows/build_python.yml

@@ -45,11 +45,6 @@ jobs:
       - name: Checkout pybind11 submodule
         run: git submodule update --init python/pybind11
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Set the MACOSX_DEPLOYMENT_TARGET
         if: ${{ runner.os == 'macOS' }}

.github/workflows/cmake.yml

@@ -124,11 +124,6 @@ jobs:
           fetch-depth: 0
           fetch-tags: true
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Miscellaneous setup
         shell: bash
@@ -210,11 +205,6 @@ jobs:
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           submodules: recursive
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Miscellaneous setup
         run: bash .github/scripts/misc_setup

.github/workflows/cmake_mac_nagfor.yml

@@ -56,11 +56,6 @@ jobs:
           fetch-depth: 0
           fetch-tags: true
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Miscellaneous setup
         run: bash .github/scripts/misc_setup

.github/workflows/cmake_nagfor.yml

@@ -52,11 +52,6 @@ jobs:
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           submodules: recursive
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Miscellaneous setup
         run: bash .github/scripts/misc_setup

.github/workflows/compile_mex.yml

@@ -99,11 +99,6 @@ jobs:
           ref: ${{ github.event.inputs.git-ref }}
           submodules: recursive
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Miscellaneous setup
         run: bash .github/scripts/misc_setup

.github/workflows/lint_hosted.yml

@@ -59,11 +59,6 @@ jobs:
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           submodules: recursive
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Miscellaneous setup
         run: export SWAP_SIZE=20 && bash .github/scripts/misc_setup

.github/workflows/lint_nagfor.yml

@@ -43,11 +43,6 @@ jobs:
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           submodules: recursive
 
-      - name: Lint the actions
-        if: runner.os == 'Linux'
-        uses: devops-actions/actionlint@v0.1.10
-        with:
-          shellcheck_opts: '-e SC1090 -e SC2015 -e SC2028 -e SC2035 -e SC2046 -e SC2086 -e SC2193'
 
       - name: Miscellaneous setup
         run: bash .github/scripts/misc_setup