All workflows

Workflow runs

• security

  completed successfully:
  security#18:Scheduled
  master

  Oct 19, 202618s
  More actions for workflow run 18

• runtime

  completed successfully:
  runtime#17:Scheduled
  master

  Oct 15, 20261m 35s
  More actions for workflow run 17

• security

  completed successfully:
  security#17:Scheduled
  master

  Oct 12, 202619s
  More actions for workflow run 17

• ci(branch-cleanup): only delete the merged commit; keep heads of open…

  completed successfully:
  ci#16:Commit0b7e11cpushedbyrishitank
  master

  Oct 9, 202620s
  More actions for workflow run 16

• ci(branch-cleanup): only delete the merged commit; keep heads of open…

  completed successfully:
  workflows-lint#16:Commit0b7e11cpushedbyrishitank
  master

  Oct 9, 202611s
  More actions for workflow run 16

• ci(branch-cleanup): only delete the merged commit; keep heads of open…

  completed successfully:
  runtime#16:Commit0b7e11cpushedbyrishitank
  master

  Oct 9, 20261m 23s
  More actions for workflow run 16

• ci(branch-cleanup): only delete the merged commit; keep heads of open…

  completed successfully:
  security#16:Commit0b7e11cpushedbyrishitank
  master

  Oct 9, 202624s
  More actions for workflow run 16

• ci(branch-cleanup): only delete the merged commit; keep heads of open PRs

  completed successfully:
  branch-cleanup#2:Pull request#16closedbyrishitank
  ci/branch-cleanup

  Oct 9, 202612s
  More actions for workflow run 2

• ci(branch-cleanup): only delete the merged commit; keep heads of open PRs

  completed successfully:
  workflows-lint#15:Pull request#16openedbyrishitank
  ci/branch-cleanup

  Oct 9, 202611s
  More actions for workflow run 15

• ci(branch-cleanup): only delete the merged commit; keep heads of open PRs

  completed successfully:
  ci#15:Pull request#16openedbyrishitank
  ci/branch-cleanup

  Oct 9, 202620s
  More actions for workflow run 15

• ci(branch-cleanup): only delete the merged commit; keep heads of open PRs

  completed successfully:
  security#15:Pull request#16openedbyrishitank
  ci/branch-cleanup

  Oct 9, 202618s
  More actions for workflow run 15

• ci(branch-cleanup): only delete the merged commit; keep heads of open PRs

  completed successfully:
  runtime#15:Pull request#16openedbyrishitank
  ci/branch-cleanup

  Oct 9, 20261m 31s
  More actions for workflow run 15

• ci: delete a PR's head branch after it merges, with an allowlist (#15)

  completed successfully:
  runtime#14:Commit36dbd32pushedbyrishitank
  master

  Oct 9, 20261m 22s
  More actions for workflow run 14

• ci: delete a PR's head branch after it merges, with an allowlist (#15)

  completed successfully:
  workflows-lint#14:Commit36dbd32pushedbyrishitank
  master

  Oct 9, 202611s
  More actions for workflow run 14

• ci: delete a PR's head branch after it merges, with an allowlist (#15)

  completed successfully:
  ci#14:Commit36dbd32pushedbyrishitank
  master

  Oct 9, 202625s
  More actions for workflow run 14

• ci: delete a PR's head branch after it merges, with an allowlist (#15)

  completed successfully:
  security#14:Commit36dbd32pushedbyrishitank
  master

  Oct 9, 202621s
  More actions for workflow run 14

• ci: delete a PR's head branch after it merges, with an allowlist

  completed successfully:
  branch-cleanup#1:Pull request#15closedbyrishitank
  ci/branch-cleanup

  Oct 9, 20267s
  More actions for workflow run 1

• ci: pin the shared reusable workflows to the v1 commit (#14)

  completed successfully:
  workflows-lint#13:Commit2a48759pushedbyrishitank
  master

  Oct 9, 202610s
  More actions for workflow run 13

• ci: pin the shared reusable workflows to the v1 commit (#14)

  completed successfully:
  runtime#13:Commit2a48759pushedbyrishitank
  master

  Oct 9, 20261m 28s
  More actions for workflow run 13

• ci: pin the shared reusable workflows to the v1 commit (#14)

  completed successfully:
  ci#13:Commit2a48759pushedbyrishitank
  master

  Oct 9, 202619s
  More actions for workflow run 13

• ci: pin the shared reusable workflows to the v1 commit (#14)

  completed successfully:
  security#13:Commit2a48759pushedbyrishitank
  master

  Oct 9, 202621s
  More actions for workflow run 13

• ci: delete a PR's head branch after it merges, with an allowlist

  completed successfully:
  security#12:Pull request#15openedbyrishitank
  ci/branch-cleanup

  Oct 9, 202619s
  More actions for workflow run 12

• ci: delete a PR's head branch after it merges, with an allowlist

  completed successfully:
  workflows-lint#12:Pull request#15openedbyrishitank
  ci/branch-cleanup

  Oct 9, 20269s
  More actions for workflow run 12

• ci: delete a PR's head branch after it merges, with an allowlist

  completed successfully:
  runtime#12:Pull request#15openedbyrishitank
  ci/branch-cleanup

  Oct 9, 20261m 24s
  More actions for workflow run 12

• ci: delete a PR's head branch after it merges, with an allowlist

  completed successfully:
  ci#12:Pull request#15openedbyrishitank
  ci/branch-cleanup

  Oct 9, 202624s
  More actions for workflow run 12