Skip to content

Add geocoding selection option for start and end point of route #184

Add geocoding selection option for start and end point of route

Add geocoding selection option for start and end point of route #184

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