All workflows

Workflow runs

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5346:Scheduled
  master

  Nov 1, 202614s
  More actions for workflow run 5346

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5345:Scheduled
  master

  Nov 1, 202610s
  More actions for workflow run 5345

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5344:Scheduled
  master

  Nov 1, 202611s
  More actions for workflow run 5344

• Update Bibliography

  completed successfully:
  Update Bibliography#403:Scheduled
  master

  Nov 1, 202610m 15s
  More actions for workflow run 403

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5343:Scheduled
  master

  Nov 1, 202611s
  More actions for workflow run 5343

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5342:Scheduled
  master

  Nov 1, 202614s
  More actions for workflow run 5342

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5341:Scheduled
  master

  Nov 1, 202611s
  More actions for workflow run 5341

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5340:Scheduled
  master

  Nov 1, 202611s
  More actions for workflow run 5340

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5339:Scheduled
  master

  Oct 31, 202613s
  More actions for workflow run 5339

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5338:Scheduled
  master

  Oct 31, 202613s
  More actions for workflow run 5338

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5337:Scheduled
  master

  Oct 31, 202611s
  More actions for workflow run 5337

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5336:Scheduled
  master

  Oct 31, 202613s
  More actions for workflow run 5336

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5335:Scheduled
  master

  Oct 31, 202610s
  More actions for workflow run 5335

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5334:Scheduled
  master

  Oct 31, 202611s
  More actions for workflow run 5334

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5333:Scheduled
  master

  Oct 31, 202612s
  More actions for workflow run 5333

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5332:Scheduled
  master

  Oct 31, 202612s
  More actions for workflow run 5332

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5331:Scheduled
  master

  Oct 31, 202613s
  More actions for workflow run 5331

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5330:Scheduled
  master

  Oct 31, 202610s
  More actions for workflow run 5330

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5329:Scheduled
  master

  Oct 31, 202610s
  More actions for workflow run 5329

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5328:Scheduled
  master

  Oct 31, 202610s
  More actions for workflow run 5328

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5327:Scheduled
  master

  Oct 31, 202611s
  More actions for workflow run 5327

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5326:Scheduled
  master

  Oct 31, 202611s
  More actions for workflow run 5326

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5325:Scheduled
  master

  Oct 31, 202613s
  More actions for workflow run 5325

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5324:Scheduled
  master

  Oct 31, 202611s
  More actions for workflow run 5324

• Sync git-bug issues from GitHub

  completed successfully:
  Sync git-bug issues from GitHub#5323:Scheduled
  master

  Oct 31, 202610s
  More actions for workflow run 5323