Misc checks

Splitting Pump device into PressurePump and VolumetricPump #12

Sign in to view logs

Triggered via push July 1, 2024 09:38

Lars-Kool

main

Status Success

Total duration 15s

Artifacts –

ci-misc.yml

on: push

check-utf8-encoding