Skip to content

GUI: feature dynamically change the number of data point after user i… #575

GUI: feature dynamically change the number of data point after user i…

GUI: feature dynamically change the number of data point after user i… #575

Workflow file for this run

name: Deploy to PyPi
on:
push:
branches: [ "master" ]
tags:
- '*'
pull_request:
branches: [ "master" ]
permissions:
contents: write
jobs:
ManyLinux_x86_64:
uses: MartinPdeS/MPSActions/.github/workflows/publish_compiled_package_to_PyPi.yml@master
with:
python-version: "3.11"
secrets:
PYPI_API_TOKEN: ${{ secrets.PYPI_API_TOKEN }}