Skip to content

Merge branch 'pr/708' into develop #1146

Merge branch 'pr/708' into develop

Merge branch 'pr/708' into develop #1146

Triggered via push April 5, 2024 16:28
Status Success
Total duration 7m 30s
Artifacts 1

docker-image.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Warning: pycroft/lib/user.py#L1
docstring of pycroft.lib.user.edit_email:8: Field list ends without a blank line; unexpected unindent.
Warning: pycroft/lib/user.py#L1
docstring of pycroft.lib.user.edit_birthdate:5: Field list ends without a blank line; unexpected unindent.
Warning: ldap_sync/sources/db.py#L1
docstring of ldap_sync.sources.db._fetch_db_properties:3: undefined label: 'exported_properties'

Artifacts

Produced during runtime
Name Size
coverage Expired
1.22 MB