All workflows

Workflow runs

• update mirror

  completed successfully:
  update mirror#1506:Scheduled
  main

  Oct 31, 202649s
  More actions for workflow run 1506

• update mirror

  completed successfully:
  update mirror#1505:Scheduled
  main

  Oct 31, 202642s
  More actions for workflow run 1505

• update mirror

  completed successfully:
  update mirror#1504:Scheduled
  main

  Oct 30, 20261m 6s
  More actions for workflow run 1504

• build

  completed successfully:
  build#1306:Scheduled
  main

  Oct 30, 20263m 42s
  More actions for workflow run 1306

• quality lints

  completed successfully:
  quality lints#1306:Scheduled
  main

  Oct 30, 20268m 55s
  More actions for workflow run 1306

• Make fetch general over post-processing the downloaded files

  completed successfully:
  build#1305:Commitf2ed8depushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20264m 47s
  More actions for workflow run 1305

• Make fetch general over post-processing the downloaded files

  completed successfully:
  quality lints#1305:Commitf2ed8depushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20262m 24s
  More actions for workflow run 1305

• Make fetch general over post-processing the downloaded files

  completed successfully:
  update mirror#1503:Commitf2ed8depushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 202652s
  More actions for workflow run 1503

• Make fetch general over post-processing the downloaded files

  completed successfully:
  bench#530:Commitf2ed8depushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 202648s
  More actions for workflow run 530

• build

  completed successfully:
  build#1304:Merge group checks requested
  Oct 30, 20263m 24s
  More actions for workflow run 1304

• quality lints

  completed successfully:
  quality lints#1304:Merge group checks requested
  Oct 30, 20262m 34s
  More actions for workflow run 1304

• Generalise fetching infrastructure

  completed successfully:
  bench#529:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 20261m 5s
  More actions for workflow run 529

• Generalise fetching infrastructure

  completed successfully:
  build#1303:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 20263m 11s
  More actions for workflow run 1303

• Generalise fetching infrastructure

  completed successfully:
  quality lints#1303:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 20262m 2s
  More actions for workflow run 1303

• Generalise fetching infrastructure

  completed successfully:
  Release#212:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 202635s
  More actions for workflow run 212

• update mirror

  completed successfully:
  update mirror#1502:Scheduled
  main

  Oct 30, 202651s
  More actions for workflow run 1502

• Generalise fetching infrastructure

  completed successfully:
  bench#528:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 20261m 13s
  More actions for workflow run 528

• Generalise fetching infrastructure

  completed successfully:
  quality lints#1302:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 20262m 7s
  More actions for workflow run 1302

• Generalise fetching infrastructure

  completed successfully:
  build#1302:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 20263m 37s
  More actions for workflow run 1302

• Generalise fetching infrastructure

  completed successfully:
  Release#211:Pull request#275synchronizebyctz
  jbp-generalise-fetch

  Oct 30, 202619s
  More actions for workflow run 211

• Generalise fetching infrastructure

  completed successfully:
  build#1301:Pull request#275openedbyctz
  jbp-generalise-fetch

  Oct 30, 20264m 25s
  More actions for workflow run 1301

• Generalise fetching infrastructure

  completed successfully:
  Release#210:Pull request#275openedbyctz
  jbp-generalise-fetch

  Oct 30, 202614s
  More actions for workflow run 210

• Generalise fetching infrastructure

  completed successfully:
  bench#527:Pull request#275openedbyctz
  jbp-generalise-fetch

  Oct 30, 202659s
  More actions for workflow run 527

• Generalise fetching infrastructure

  failed:
  quality lints#1301:Pull request#275openedbyctz
  jbp-generalise-fetch

  Oct 30, 20261m 49s
  More actions for workflow run 1301

• github_actions in /.github/workflows - Update #1665086757

  completed successfully:
  Dependabot Updates#496:bydependabot[bot]Bot
  main

  Oct 30, 202649s