Docker build

Workflow runs for Docker build

• hardening workflow

  completed successfully:
  Docker build#7:Commit18083fdpushedbyniden
  master

  Aug 27, 20265m 53s
  More actions for workflow run 7

• Bump actions/checkout from 7.0.0 to 7.0.1

  completed successfully:
  Docker build#6:Commit241620epushedbyniden
  master

  Jul 24, 20265m 33s
  More actions for workflow run 6

• updating changelog

  completed successfully:
  Docker build#5:Commitf7d194dpushedbyniden
  5.17.x

  Jul 24, 20265m 31s
  More actions for workflow run 5

• Bump actions/checkout from 7.0.0 to 7.0.1

  completed successfully:
  Docker build#4:Commitd37db8bpushedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-7.0.1

  Jul 24, 20265m 18s
  More actions for workflow run 4

• reworking docs; adding deps and dockerized environments

  completed successfully:
  Docker build#3:Commit5cf99c0pushedbyniden
  master

  Jul 24, 20265m 25s
  More actions for workflow run 3

• Tutorial modernization

  completed successfully:
  Docker build#2:Pull request#16openedbyniden
  tutorial-modernization

  Jul 24, 20265m 34s
  More actions for workflow run 2

• reworking docs; adding deps and dockerized environments

  completed successfully:
  Docker build#1:Commit2cd03cbpushedbyniden
  tutorial-modernization

  Jul 24, 20265m 20s
  More actions for workflow run 1