Skip to content

Add Function.reseed_rngs to reseed a compiled function's RNGs #5578

Add Function.reseed_rngs to reseed a compiled function's RNGs

Add Function.reseed_rngs to reseed a compiled function's RNGs #5578

Workflow file for this run

name: mypy
on:
pull_request:
push:
branches: [main]
jobs:
mypy:
runs-on: ubuntu-latest
defaults:
run:
shell: bash -leo pipefail {0}
steps:
- uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
with:
persist-credentials: false
- uses: mamba-org/setup-micromamba@d7c9bd84e824b79d2af72a2d4196c7f4300d3476 # v3.0.0
with:
micromamba-version: "1.5.10-0" # until https://github.com/mamba-org/setup-micromamba/issues/225 is resolved
environment-file: environment.yml
init-shell: bash
cache-environment: true
post-cleanup: "all"
- name: Install pytensor and mypy dependencies
run: |
pip install -e .
python --version
shell: micromamba-shell {0}
- name: Run mypy
run: |
python ./scripts/run_mypy.py --verbose
shell: micromamba-shell {0}