PR check

Workflow runs for PR check

• Use smarter way to obtain the exact run upon workflow dispatches

  completed successfully:
  PR check#15:Pull request#10openedbydscho
  use-workflow-dispatch-run-details

  Jul 21, 202621s
  More actions for workflow run 15

• Allow for more clock drift when generating the JWT

  completed successfully:
  PR check#14:Pull request#9synchronizebydscho
  jwt-9min-clock-drift

  Jun 29, 202620s
  More actions for workflow run 14

• Allow for more clock drift when generating the JWT

  failed:
  PR check#13:Pull request#9openedbydscho
  jwt-9min-clock-drift

  Jun 29, 202620s
  More actions for workflow run 13

• Consume project-specific settings from the CONFIG repository variable

  completed successfully:
  PR check#12:Pull request#7synchronizebydscho
  vars-CONFIG

  Oct 7, 202524s
  More actions for workflow run 12

• Allow deploying from forks, to support projects other than Git

  completed successfully:
  PR check#11:Pull request#8openedbydscho
  cygwingitgadget:main

  Oct 6, 202524s
  More actions for workflow run 11

• Various fixes

  completed successfully:
  PR check#10:Pull request#6synchronizebydscho
  some-fixes

  Sep 2, 202521s
  More actions for workflow run 10

• Consume project-specific settings from the CONFIG repository variable

  completed successfully:
  PR check#9:Pull request#7synchronizebydscho
  vars-CONFIG

  Sep 2, 202518s
  More actions for workflow run 9

• Consume project-specific settings from the CONFIG repository variable

  failed:
  PR check#8:Pull request#7openedbydscho
  vars-CONFIG

  Sep 2, 202518s
  More actions for workflow run 8

• Various fixes

  failed:
  PR check#7:Pull request#6openedbydscho
  some-fixes

  Sep 2, 202519s
  More actions for workflow run 7

• build(deps): bump actions/checkout from 3 to 5

  completed successfully:
  PR check#6:Pull request#5openedbydscho
  actions-upgrade

  Sep 2, 202529s
  More actions for workflow run 6