Skip to content

Merge pull request #21 from DigiKlausur/fix_repo_modification_time #56

Merge pull request #21 from DigiKlausur/fix_repo_modification_time

Merge pull request #21 from DigiKlausur/fix_repo_modification_time #56

Annotations

1 warning

lint

succeeded Oct 22, 2024 in 10s