DEPTRY

Workflow runs for DEPTRY

• Make

  completed successfully:
  DEPTRY#6:Pull request#649synchronizebytschm
  make

  Nov 9, 202529s
  More actions for workflow run 6

• Make

  completed successfully:
  DEPTRY#5:Pull request#649synchronizebytschm
  make

  Nov 9, 202526s
  More actions for workflow run 5

• Make

  completed successfully:
  DEPTRY#4:Pull request#649synchronizebytschm
  make

  Nov 9, 202527s
  More actions for workflow run 4

• Make

  completed successfully:
  DEPTRY#3:Pull request#649synchronizebytschm
  make

  Nov 9, 202529s
  More actions for workflow run 3

• Make

  completed successfully:
  DEPTRY#2:Pull request#649synchronizebytschm
  make

  Nov 9, 202530s
  More actions for workflow run 2

• Make

  completed successfully:
  DEPTRY#1:Pull request#649openedbytschm
  make

  Nov 9, 202526s
  More actions for workflow run 1