All workflows

Workflow runs

• github_actions in /. - Update #1665649165

  completed successfully:
  Dependabot Updates#796:bydependabot[bot]Bot
  master

  Oct 30, 20261m 5s

• maven in /ddk-parent - Update #1665648870

  completed successfully:
  Dependabot Updates#795:bydependabot[bot]Bot
  master

  Oct 30, 20261m 7s

• pages build and deployment

  completed successfully:
  pages-build-deployment#272:bygithub-pages[bot]Bot
  gh-pages

  Oct 29, 20261m 6s

• release

  completed successfully:
  release#8:Manually runbyrubenporras
  master

  Oct 29, 202651s
  More actions for workflow run 8

• pages build and deployment

  completed successfully:
  pages-build-deployment#271:bygithub-pages[bot]Bot
  gh-pages

  Oct 29, 20261m 4s

• pages build and deployment

  cancelled:
  pages-build-deployment#270:bygithub-pages[bot]Bot
  gh-pages

  Oct 29, 20265s

• fix(builder): size the binary storage queue from the max heap

  completed successfully:
  snapshot#176:Commit6bf2923pushedbygithub-merge-queue[bot]Bot
  master

  Oct 29, 202614m 9s
  More actions for workflow run 176

• verify

  completed successfully:
  verify#3961:Merge group checks requested
  Oct 29, 20269m 11s
  More actions for workflow run 3961

• fix(builder): size the binary storage queue from the max heap

  completed successfully:
  verify#3960:Pull request#1586synchronizebyrubenporras
  rubenporras:binary-storage-queue-heap

  Oct 29, 202613m 35s
  More actions for workflow run 3960

• github_actions in /. - Update #1663077403

  completed successfully:
  Dependabot Updates#794:bydependabot[bot]Bot
  master

  Oct 29, 202657s

• pages build and deployment

  completed successfully:
  pages-build-deployment#269:bygithub-pages[bot]Bot
  gh-pages

  Oct 29, 202658s

• pages build and deployment

  cancelled:
  pages-build-deployment#268:bygithub-pages[bot]Bot
  gh-pages

  Oct 29, 20264s

• fix(builder): abandon the load operation when a resource load times out

  completed successfully:
  snapshot#175:Commitb276c26pushedbygithub-merge-queue[bot]Bot
  master

  Oct 29, 202613m 41s
  More actions for workflow run 175

• verify

  completed successfully:
  verify#3959:Merge group checks requested
  Oct 29, 20269m 12s
  More actions for workflow run 3959

• pages build and deployment

  completed successfully:
  pages-build-deployment#267:bygithub-pages[bot]Bot
  gh-pages

  Oct 29, 202654s

• pages build and deployment

  cancelled:
  pages-build-deployment#266:bygithub-pages[bot]Bot
  gh-pages

  Oct 29, 20264s

• fix(xtext): count selector fragment siblings the way they are resolved

  completed successfully:
  verify#3958:Pull request#1585openedbyjoaodinissf
  test-selector-fragment-case

  Oct 29, 202612m 51s
  More actions for workflow run 3958

• perf: look up case sensitivity without locking

  completed successfully:
  snapshot#174:Commit7cd7487pushedbygithub-merge-queue[bot]Bot
  master

  Oct 29, 202613m 30s
  More actions for workflow run 174

• verify

  completed successfully:
  verify#3957:Merge group checks requested
  Oct 29, 202613m 20s
  More actions for workflow run 3957

• perf: look up case sensitivity without locking

  completed successfully:
  verify#3956:Pull request#1584synchronizebyrubenporras
  rubenporras:perf/case-sensitive-lookup

  Oct 29, 20268m 31s
  More actions for workflow run 3956

• perf: look up case sensitivity without locking

  completed successfully:
  verify#3955:Pull request#1584openedbyrubenporras
  rubenporras:perf/case-sensitive-lookup

  Oct 29, 20268m 23s
  More actions for workflow run 3955

• github_actions in /. - Update #1660456782

  completed successfully:
  Dependabot Updates#793:bydependabot[bot]Bot
  master

  Oct 28, 20261m 0s

• github_actions in /. - Update #1657941990

  completed successfully:
  Dependabot Updates#792:bydependabot[bot]Bot
  master

  Oct 27, 202652s

• github_actions in /. - Update #1654767850

  completed successfully:
  Dependabot Updates#791:bydependabot[bot]Bot
  master

  Oct 26, 202654s

• pages build and deployment

  completed successfully:
  pages-build-deployment#265:bygithub-pages[bot]Bot
  gh-pages

  Oct 26, 20261m 18s