auto-update of tutos so people don't run out of date examples when finding this repo

Author: mloubout

.github/workflows/deploy_doc.yaml

@@ -12,10 +12,10 @@ jobs:
       - name: Checkout master
         uses: actions/checkout@v1
 
-      - name: Set up Python 3.7
+      - name: Set up Python 3.10
         uses: actions/setup-python@v1
         with:
-          python-version: 3.7
+          python-version: "3.10"
 
       - name: Install dependencies
         run: |

.github/workflows/example.yaml

@@ -18,8 +18,6 @@ jobs:
     env:
       DEVITO_ARCH: gcc
       DEVITO_LANGUAGE: "openmp"
-      DEVITO_BACKEND: "core"
-      PYTHON_VERSION: "3.7"
 
     strategy:
       # Prevent all build to stop if a single one fails
@@ -37,15 +35,15 @@ jobs:
     - name: Checkout devito
       uses: actions/checkout@v1
 
-    - name: Set up Python 3.7
+    - name: Set up Python 3.10
       uses: actions/setup-python@v1
       with:
-        python-version: 3.7
+        python-version: "3.10"
 
     - name: Install compilers for OSX
       if: runner.os == 'macOS'
       run: |
-          brew install gcc@7
+          brew install gcc@14
 
     - name: Install dependencies
       run: |

.github/workflows/update-tutos.yaml

@@ -0,0 +1,42 @@
+name: Sync Some Directory
+
+on:
+  schedule:
+    - cron: '0 6 * * *'  # Runs daily at 6 AM UTC
+  workflow_dispatch:      # Allow manual trigger too
+  push:
+    branches:
+      - master
+
+jobs:
+  sync-directory:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout this repo
+        uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Clone external repo
+        run: |
+          git clone https://github.com/devitocodes/devito
+
+      - name: Update only existing files in local
+        run: |
+          LOCAL_DIR="${GITHUB_WORKSPACE}/seismic"
+          SRC_DIR="${GITHUB_WORKSPACE}/devito/examples/seismic"
+          cd "$SRC_DIR"
+          find . -type f | while read -r f; do
+            if [ -f "${LOCAL_DIR}/$f" ]; then
+              cp "$f" "${LOCAL_DIR}/$f"
+            fi
+          done
+
+      - name: Commit and push
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git add -u
+          git commit -m "Sync local from external repo" || echo "Nothing to commit"
+          git push origin master

setup.py

@@ -10,4 +10,4 @@
       author_email='mlouboutin3@gatech.edu',
       license='MIT',
       packages=['seismic'],
-      install_requires=['devito@ git+https://github.com/devitocodes/devito@master', 'ipython', 'matplotlib'])
+      install_requires=['devito[extras,tests]'])