Skip to content

Merge branch 'room-tenancies' into develop #1130

Merge branch 'room-tenancies' into develop

Merge branch 'room-tenancies' into develop #1130

Annotations

4 warnings

python-lint

succeeded Mar 29, 2024 in 1m 19s
Set up job
1s
Check out pycroft and submodules
2s
Run actions/setup-python@v4
2s
print information about pip cache
1s
ensure presence of `wheel`
1s
install pip dependencies
30s
Execute ruff
0s
Execute mypy
18s
Build sphinx docs
20s
Render sphinx warnings as annotations
0s
Publish sphinx docs as pages artifact
1s
Post Run actions/setup-python@v4
0s
Post Check out pycroft and submodules
0s
Complete job
0s