Skip to content

ci: don't restart webgui anymore now that it's unnecessary #607

ci: don't restart webgui anymore now that it's unnecessary

ci: don't restart webgui anymore now that it's unnecessary #607

Triggered via push November 19, 2023 23:09
Status Success
Total duration 27s
Artifacts

pylint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in