Skip to content
Lint-Server

add assigned user/desk info to planning json (#1888) #987

Sign in to view logs

add assigned user/desk info to planning json (#1888)

add assigned user/desk info to planning json (#1888) #987

Triggered via push December 19, 2023 08:56
@petrjasekpetrjasek
pushed 4839dcd
develop
Status Success
Total duration 24s
Artifacts –

lint-server.yml

on: push
black
10s
black
flake8
12s
flake8
mypy
12s
mypy
Fit to window
Zoom out
Zoom in