All workflows

Workflow runs

• Verify A317940 initial values

  completed successfully:
  A317940 initial values exact Lean audit#7:Pull request#119synchronizebyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 20261m 29s
  More actions for workflow run 7

• Audit final squashed A317940 commit

  failed:
  .github/workflows/a261865-patch-export.yml#697:Commit622872cpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026-1s
  More actions for workflow run 697

• Verify A317940 initial values

  skipped:
  Trusted Geode5 formal proof audit#298:Pull request#119synchronizebyDomTheDeveloper
  Jul 26, 20261s
  More actions for workflow run 298

• Audit final squashed A317940 commit

  failed:
  .github/workflows/oeis-a226247-final.yml#159:Commit622872cpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 159

• Audit final squashed A317940 commit

  failed:
  .github/workflows/oeis-a343881-final.yml#160:Commit622872cpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 160

• Verify A317940 initial values

  completed successfully:
  A317940 initial values exact Lean audit#6:Pull request#119synchronizebyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 20264m 9s
  More actions for workflow run 6

• Verify A317940 initial values

  skipped:
  Trusted Geode5 formal proof audit#297:Pull request#119synchronizebyDomTheDeveloper
  Jul 26, 20262s
  More actions for workflow run 297

• Audit exact A317940 divisor proof

  failed:
  .github/workflows/a261865-patch-export.yml#696:Commitb2268b7pushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 696

• Audit exact A317940 divisor proof

  failed:
  .github/workflows/oeis-a226247-final.yml#158:Commitb2268b7pushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 158

• Audit exact A317940 divisor proof

  failed:
  .github/workflows/oeis-a343881-final.yml#159:Commitb2268b7pushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 159

• Verify A317940 initial values

  failed:
  A317940 initial values exact Lean audit#5:Pull request#119synchronizebyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 20263m 33s
  More actions for workflow run 5

• Verify A317940 initial values

  skipped:
  Trusted Geode5 formal proof audit#296:Pull request#119synchronizebyDomTheDeveloper
  Jul 26, 20261s
  More actions for workflow run 296

• Audit finite one-step A317940 proofs

  failed:
  .github/workflows/a261865-patch-export.yml#695:Commitefa89edpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 695

• Audit finite one-step A317940 proofs

  failed:
  .github/workflows/oeis-a343881-final.yml#158:Commitefa89edpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 158

• Audit finite one-step A317940 proofs

  failed:
  .github/workflows/oeis-a226247-final.yml#157:Commitefa89edpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 157

• Verify A317940 initial values

  failed:
  A317940 initial values exact Lean audit#4:Pull request#119synchronizebyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 20263m 32s
  More actions for workflow run 4

• Verify A317940 initial values

  skipped:
  Trusted Geode5 formal proof audit#295:Pull request#119synchronizebyDomTheDeveloper
  Jul 26, 20261s
  More actions for workflow run 295

• Build the exact A317940 Lake module

  failed:
  .github/workflows/oeis-a226247-final.yml#156:Commit4a57d70pushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 156

• Build the exact A317940 Lake module

  failed:
  .github/workflows/oeis-a343881-final.yml#157:Commit4a57d70pushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 157

• Build the exact A317940 Lake module

  failed:
  .github/workflows/a261865-patch-export.yml#694:Commit4a57d70pushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 694

• Verify A317940 initial values

  failed:
  A317940 initial values exact Lean audit#3:Pull request#119synchronizebyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 20261m 38s
  More actions for workflow run 3

• Verify A317940 initial values

  skipped:
  Trusted Geode5 formal proof audit#294:Pull request#119synchronizebyDomTheDeveloper
  Jul 26, 20261s
  More actions for workflow run 294

• Re-run A317940 audit after import fix

  failed:
  .github/workflows/oeis-a343881-final.yml#156:Commit23480ffpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 156

• Re-run A317940 audit after import fix

  failed:
  .github/workflows/oeis-a226247-final.yml#155:Commit23480ffpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 155

• Re-run A317940 audit after import fix

  failed:
  .github/workflows/a261865-patch-export.yml#693:Commit23480ffpushedbyDomTheDeveloper
  verify/a317940-initial-values

  Jul 26, 2026Failure
  More actions for workflow run 693