All workflows

Workflow runs

• CodeQL

  completed successfully:
  CodeQL#16:Scheduled
  master

  Jul 12, 20264m 13s
  More actions for workflow run 16

• Delete old published artefacts

  skipped:
  Delete old published artefacts#98:Scheduled
  master

  Jul 9, 20261s
  More actions for workflow run 98

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#98:Scheduled
  master

  Jul 9, 20267s
  More actions for workflow run 98

• Delete old published artefacts

  skipped:
  Delete old published artefacts#97:Scheduled
  master

  Jul 8, 20261s
  More actions for workflow run 97

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#97:Scheduled
  master

  Jul 8, 20268s
  More actions for workflow run 97

• Delete old published artefacts

  skipped:
  Delete old published artefacts#96:Scheduled
  master

  Jul 7, 20261s
  More actions for workflow run 96

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#96:Scheduled
  master

  Jul 7, 20266s
  More actions for workflow run 96

• Delete old published artefacts

  skipped:
  Delete old published artefacts#95:Scheduled
  master

  Jul 6, 20261s
  More actions for workflow run 95

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#95:Scheduled
  master

  Jul 6, 20266s
  More actions for workflow run 95

• CodeQL

  completed successfully:
  CodeQL#15:Scheduled
  master

  Jul 5, 20264m 7s
  More actions for workflow run 15

• Delete old published artefacts

  skipped:
  Delete old published artefacts#94:Scheduled
  master

  Jul 5, 20261s
  More actions for workflow run 94

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#94:Scheduled
  master

  Jul 5, 20269s
  More actions for workflow run 94

• Delete old published artefacts

  skipped:
  Delete old published artefacts#93:Scheduled
  master

  Jul 4, 20261s
  More actions for workflow run 93

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#93:Scheduled
  master

  Jul 4, 20267s
  More actions for workflow run 93

• Delete old published artefacts

  skipped:
  Delete old published artefacts#92:Scheduled
  master

  Jul 3, 202611s
  More actions for workflow run 92

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#92:Scheduled
  master

  Jul 3, 20269s
  More actions for workflow run 92

• Delete old published artefacts

  skipped:
  Delete old published artefacts#91:Scheduled
  master

  Jul 2, 20261s
  More actions for workflow run 91

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#91:Scheduled
  master

  Jul 2, 202612s
  More actions for workflow run 91

• Delete old published artefacts

  skipped:
  Delete old published artefacts#90:Scheduled
  master

  Jul 1, 20261s
  More actions for workflow run 90

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#90:Scheduled
  master

  Jul 1, 20268s
  More actions for workflow run 90

• Delete old published artefacts

  skipped:
  Delete old published artefacts#89:Scheduled
  master

  Jun 30, 20267s
  More actions for workflow run 89

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#89:Scheduled
  master

  Jun 30, 20267s
  More actions for workflow run 89

• Delete old published artefacts

  skipped:
  Delete old published artefacts#88:Scheduled
  master

  Jun 29, 202610s
  More actions for workflow run 88

• Close stale issues and PRs

  completed successfully:
  Close stale issues and PRs#88:Scheduled
  master

  Jun 29, 20269s
  More actions for workflow run 88

• CodeQL

  completed successfully:
  CodeQL#14:Scheduled
  master

  Jun 28, 20264m 4s
  More actions for workflow run 14