Skip to content

Addition of generic pump device #83

Addition of generic pump device

Addition of generic pump device #83

Workflow file for this run

name: Misc checks
on:
pull_request:
push:
branches:
- main
jobs:
check-utf8-encoding:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: ./tools/check-utf8.sh