All workflows

Workflow runs

• retire

  completed successfully:
  retire#280:Scheduled
  main

  Nov 13, 20262m 27s
  More actions for workflow run 280

• sync

  completed successfully:
  sync#496:Scheduled
  main

  Nov 13, 202613s
  More actions for workflow run 496

• retire

  completed successfully:
  retire#279:Scheduled
  main

  Nov 12, 20262m 29s
  More actions for workflow run 279

• sync

  completed successfully:
  sync#495:Scheduled
  main

  Nov 12, 202614s
  More actions for workflow run 495

• retire

  completed successfully:
  retire#278:Scheduled
  main

  Nov 11, 20261m 52s
  More actions for workflow run 278

• sync

  completed successfully:
  sync#494:Scheduled
  main

  Nov 11, 202612s
  More actions for workflow run 494

• Nominate @ethancedwards8

  completed successfully:
  nomination#186:Pull request#178openedbyGaetanLepage
  Nov 10, 202611s
  More actions for workflow run 186

• retire

  completed successfully:
  retire#277:Scheduled
  main

  Nov 10, 20262m 20s
  More actions for workflow run 277

• sync

  completed successfully:
  sync#493:Scheduled
  main

  Nov 10, 202613s
  More actions for workflow run 493

• retire

  failed:
  retire#276:Scheduled
  main

  Nov 9, 202624s
  More actions for workflow run 276

• sync

  completed successfully:
  sync#492:Scheduled
  main

  Nov 9, 202613s
  More actions for workflow run 492

• retire

  completed successfully:
  retire#275:Scheduled
  main

  Nov 8, 20261m 37s
  More actions for workflow run 275

• sync

  completed successfully:
  sync#491:Scheduled
  main

  Nov 8, 202610s
  More actions for workflow run 491

• scripts/retire: mention merge bot (#177)

  completed successfully:
  scripts#12:Commit1de0439pushedbyphiliptaron
  main

  Nov 8, 20269s
  More actions for workflow run 12

• scripts/retire: mention merge bot

  completed successfully:
  scripts#11:Pull request#177openedbyherbetom
  herbetom:retire-mention-bot

  Nov 7, 202613s
  More actions for workflow run 11

• scripts/retire: mention merge bot

  completed successfully:
  nomination#185:Pull request#177openedbyherbetom
  Nov 7, 20268s
  More actions for workflow run 185

• github_actions in /., /.github/actions/*/* - Update #1686930132

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

  Nov 7, 202632s

• Automatic retirement of @wmertens

  completed successfully:
  nomination#184:Pull request#176openedbynixpkgs-committers[bot]Bot
  Nov 7, 20266s
  More actions for workflow run 184

• Automatic retirement of @turion

  completed successfully:
  nomination#183:Pull request#175openedbynixpkgs-committers[bot]Bot
  Nov 7, 202610s
  More actions for workflow run 183

• Automatic retirement of @ttuegel

  completed successfully:
  nomination#182:Pull request#174openedbynixpkgs-committers[bot]Bot
  Nov 7, 20269s
  More actions for workflow run 182

• Automatic retirement of @lf-

  completed successfully:
  nomination#181:Pull request#173openedbynixpkgs-committers[bot]Bot
  Nov 7, 20269s
  More actions for workflow run 181

• Automatic retirement of @jwiegley

  completed successfully:
  nomination#180:Pull request#172openedbynixpkgs-committers[bot]Bot
  Nov 7, 202612s
  More actions for workflow run 180

• Automatic retirement of @hrdinka

  completed successfully:
  nomination#179:Pull request#171openedbynixpkgs-committers[bot]Bot
  Nov 7, 20269s
  More actions for workflow run 179

• Automatic retirement of @getchoo

  completed successfully:
  nomination#178:Pull request#170openedbynixpkgs-committers[bot]Bot
  Nov 7, 20269s
  More actions for workflow run 178

• Automatic retirement of @bhipple

  completed successfully:
  nomination#177:Pull request#169openedbynixpkgs-committers[bot]Bot
  Nov 7, 20268s
  More actions for workflow run 177