Code

fix get_user_display_name on docker#90

Code

Merged

leo-schick merged 4 commits intomainmara/mara-pipelines:mainfrom fix-docker-interactive-runmara/mara-pipelines:fix-docker-interactive-runCopy head branch name to clipboardJan 31, 2023

+12-9

Commits

Commits on Jan 25, 2023

• fix get_user_display_name on docker

  leo-schick

  committed
  76a56e7

  Copy full SHA for 76a56e7

Commits on Jan 26, 2023

• securing that get_user_display_name does not fail

  leo-schick

  committed
  7b97413

  Copy full SHA for 7b97413

• improve typing in logging/pipeline_events.py

  leo-schick

  committed
  e8931a5

  Copy full SHA for e8931a5

Commits on Jan 27, 2023

• pylint

  leo-schick

  committed
  3d3a2c0

  Copy full SHA for 3d3a2c0