Skip to content

Fix negative start index when looping around dataset #639

Fix negative start index when looping around dataset

Fix negative start index when looping around dataset #639

Workflow file for this run

name: stubs
concurrency:
group: ${{ github.workflow }}-${{ github.event.number }}-${{ github.event.ref }}
cancel-in-progress: true
on: # yamllint disable-line rule:truthy
pull_request:
schedule:
- cron: '0 3 * * *'
workflow_dispatch:
jobs:
generate:
timeout-minutes: 10
runs-on: ubuntu-latest
defaults:
run:
shell: bash
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Setup Python 3.11
uses: actions/setup-python@v5
with:
python-version: 3.11
- name: Install system dependencies
uses: ./.github/actions/install-system-dependencies
- name: Install uv and package
run: |
python -m pip install --quiet uv
uv pip install --quiet --system -e .[stubs]
- name: Display system information
run: mne-lsl sys-info --developer
- name: Generate stub files
run: python tools/stubgen.py
- name: Push stub files
if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'
env:
GH_TOKEN: ${{ github.token }}
run: |
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
if [ -n "$(git status --porcelain)" ]; then
branch_name="update-stub-files-$(date +'%Y%m%d-%H%M%S')"
git checkout -b "$branch_name"
git add mne_lsl/\*.pyi
git commit -m "deploy stub files [ci skip]"
git push --set-upstream origin "$branch_name"
gh pr create --title "Update stub files" --body "Auto-generated PR for updating stub files." --base main
fi