Skip to content

Rename ok button in provider window to save #244

Rename ok button in provider window to save

Rename ok button in provider window to save #244

Workflow file for this run

name: Ruff
on: [ push, pull_request ]
jobs:
ruff:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: chartboost/ruff-action@v1
with:
src: ORStools
args: format --check
- uses: chartboost/ruff-action@v1
with:
src: ORStools
args: check