All workflows

Workflow runs

• Check for pending release

  completed successfully:
  Check for pending release#4:Scheduled
  main

  Oct 26, 202615s
  More actions for workflow run 4

• Lint

  completed successfully:
  Lint#453:Scheduled
  main

  Oct 26, 202614s
  More actions for workflow run 453

• Lint

  completed successfully:
  Lint#452:Scheduled
  main

  Oct 25, 202611s
  More actions for workflow run 452

• Fix typo in the GPL license notice

  completed successfully:
  codespell#239:Commit1afba53pushedbyfingolfin
  main

  Oct 24, 202617s
  More actions for workflow run 239

• Fix typo in the GPL license notice

  completed successfully:
  CI#166:Commit1afba53pushedbyfingolfin
  main

  Oct 24, 20262m 27s
  More actions for workflow run 166

• Fix typo in the GPL license notice

  completed successfully:
  Docs#166:Commit1afba53pushedbyfingolfin
  main

  Oct 24, 20261m 37s
  More actions for workflow run 166

• Fix typo in the GPL license notice

  completed successfully:
  Lint#451:Commit1afba53pushedbyfingolfin
  main

  Oct 24, 202610s
  More actions for workflow run 451

• Lint

  completed successfully:
  Lint#450:Scheduled
  main

  Oct 24, 202613s
  More actions for workflow run 450

• Lint

  completed successfully:
  Lint#449:Scheduled
  main

  Oct 23, 20269s
  More actions for workflow run 449

• github_actions in /. - Update #1645482149

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

  Oct 22, 20262m 0s

• Lint

  completed successfully:
  Lint#448:Scheduled
  main

  Oct 22, 202610s
  More actions for workflow run 448

• Lint

  completed successfully:
  Lint#447:Scheduled
  main

  Oct 21, 20269s
  More actions for workflow run 447

• Lint

  completed successfully:
  Lint#446:Scheduled
  main

  Oct 20, 202612s
  More actions for workflow run 446

• Check for pending release

  completed successfully:
  Check for pending release#3:Scheduled
  main

  Oct 19, 20267s
  More actions for workflow run 3

• Lint

  completed successfully:
  Lint#445:Scheduled
  main

  Oct 19, 202610s
  More actions for workflow run 445

• Lint

  completed successfully:
  Lint#444:Scheduled
  main

  Oct 18, 202611s
  More actions for workflow run 444

• Add GraphvizNumberOfEdges

  completed successfully:
  Docs#165:Commitbb0c5d7pushedbyjames-d-mitchell
  main

  Oct 17, 20262m 12s
  More actions for workflow run 165

• Add GraphvizNumberOfEdges

  completed successfully:
  Lint#443:Commitbb0c5d7pushedbyjames-d-mitchell
  main

  Oct 17, 202611s
  More actions for workflow run 443

• Add GraphvizNumberOfEdges

  completed successfully:
  CI#165:Commitbb0c5d7pushedbyjames-d-mitchell
  main

  Oct 17, 20261m 33s
  More actions for workflow run 165

• Add GraphvizNumberOfEdges

  completed successfully:
  codespell#238:Commitbb0c5d7pushedbyjames-d-mitchell
  main

  Oct 17, 202616s
  More actions for workflow run 238

• Hygiene

  completed successfully:
  CI#164:Pull request#129openedbyjames-d-mitchell
  james-d-mitchell:hygiene

  Oct 17, 20261m 34s
  More actions for workflow run 164

• Hygiene

  completed successfully:
  codespell#237:Pull request#129openedbyjames-d-mitchell
  james-d-mitchell:hygiene

  Oct 17, 202611s
  More actions for workflow run 237

• Hygiene

  completed successfully:
  Docs#164:Pull request#129openedbyjames-d-mitchell
  james-d-mitchell:hygiene

  Oct 17, 20261m 55s
  More actions for workflow run 164

• Hygiene

  completed successfully:
  Lint#442:Pull request#129openedbyjames-d-mitchell
  james-d-mitchell:hygiene

  Oct 17, 202610s
  More actions for workflow run 442

• Lint

  completed successfully:
  Lint#441:Scheduled
  main

  Oct 17, 202610s
  More actions for workflow run 441