All workflows

Workflow runs

• Project Advisory Comment

  currently running:
  Project Advisory Comment#7982:Scheduled
  main

  Nov 6, 2026In progress
  More actions for workflow run 7982

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Project Advisory Comment#7981:Pull request#761editedbyVilin97
  Nov 6, 202645s
  More actions for workflow run 7981

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3092:completedbyVilin97
  Nov 6, 20266s
  More actions for workflow run 3092

• Import the Goldberg–Seymour edge-coloring theorem

  skipped:
  Proof Profile#3743:Issue comment#761 (comment)createdbyVilin97
  Nov 6, 20261s
  More actions for workflow run 3743

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3091:completedbyVilin97
  Nov 6, 20268s
  More actions for workflow run 3091

• Stale

  completed successfully:
  Stale#180:Scheduled
  main

  Nov 6, 20268s
  More actions for workflow run 180

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Project Advisory Comment#7980:Pull request#761editedbyVilin97
  Nov 6, 202653s
  More actions for workflow run 7980

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Project Advisory Comment#7979:Pull request#761editedbyVilin97
  Nov 6, 202651s
  More actions for workflow run 7979

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#2775:completedbyVilin97
  Nov 6, 20268s
  More actions for workflow run 2775

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3090:completedbyVilin97
  Nov 6, 20267s
  More actions for workflow run 3090

• Import the Goldberg–Seymour edge-coloring theorem

  skipped:
  Proof Profile#3742:Issue comment#761 (comment)createdbyVilin97
  Nov 6, 20269s
  More actions for workflow run 3742

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Project Advisory Comment#7978:Pull request#761editedbyVilin97
  Nov 6, 202652s
  More actions for workflow run 7978

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3089:completedbyVilin97
  Nov 6, 20266s
  More actions for workflow run 3089

• Import the Goldberg–Seymour edge-coloring theorem

  skipped:
  Proof Profile#3741:Issue comment#761 (comment)createdbyVilin97
  Nov 6, 20261s
  More actions for workflow run 3741

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Project Advisory Comment#7977:Pull request#761editedbyVilin97
  Nov 6, 202654s
  More actions for workflow run 7977

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#2774:completedbyVilin97
  Nov 6, 20261s
  More actions for workflow run 2774

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#2773:Scheduled
  main

  Nov 6, 20261s
  More actions for workflow run 2773

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#2772:completedbyVilin97
  Nov 6, 20262s
  More actions for workflow run 2772

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#2771:completedbyVilin97
  Nov 6, 20269s
  More actions for workflow run 2771

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Project Advisory Comment#7976:Pull request#761editedbyVilin97
  Nov 6, 20261m 47s
  More actions for workflow run 7976

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Python CI#1198:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20261m 58s
  More actions for workflow run 1198

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Workflow Lint#962:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20261m 12s
  More actions for workflow run 962

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Proof Profile#3740:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20261h 9m 0s
  More actions for workflow run 3740

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Partial Port Audit#5776:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 202641s
  More actions for workflow run 5776

• Import the Goldberg–Seymour edge-coloring theorem

  currently running:
  Exposition Verify#711:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 2026In progress
  More actions for workflow run 711