Skip to content
Lint

Change naming of repository to PDS-H #80

Sign in to view logs

Change naming of repository to PDS-H

Change naming of repository to PDS-H #80

Triggered via pull request August 22, 2024 12:26
@r-brinkr-brink
synchronize #133
r-brink:pds
Status Success
Total duration 1m 34s
Artifacts –

lint.yml

on: pull_request
ruff
4s
ruff
mypy
1m 26s
mypy
Fit to window
Zoom out
Zoom in