Login

Verification run

Run 54

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller
succeeded commit e489cbfd61e2 toolchain lean-v4-30-0 prover lean took 5m 20s · finished 4w ago
Open project

Semantic extraction

Modules done -
Remaining 0
Path -
Timeout left -

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-batch-00015 succeeded none 1 7m 5s
extract-batch-00014 succeeded none 1 6m 42s
extract-batch-00013 succeeded none 1 6m 37s
extract-batch-00012 succeeded none 1 7m 6s
extract-batch-00011 succeeded none 1 6m 49s
extract-batch-00010 succeeded none 1 6m 27s
extract-batch-00009 succeeded none 1 6m 36s
extract-batch-00008 succeeded none 2 12m 56s
extract-batch-00007 succeeded none 2 12m 50s
extract-batch-00006 succeeded none 2 12m 53s
extract-batch-00005 succeeded none 2 12m 58s
extract-batch-00004 succeeded none 2 13m 6s
extract-batch-00003 succeeded none 2 13m 7s
extract-batch-00002 succeeded none 2 12m 58s
extract-batch-00001 succeeded none 1 8m 4s
extract-batch-00000 succeeded none 1 8m 16s

Workflow timeline

1 workflow
  1. build verification run #54
    succeeded
    started finished
    1. verify succeeded
      attempts 2 input b47bb61ebf8aoutput 383a8eec6cab
      Attempts
      1. failed #1

        recovered: worker restarted with job still claimed

      2. succeeded #2
    2. persist result succeeded
      attempts 1 input b47bb61ebf8aoutput 383a8eec6cab
      Attempts
      1. succeeded #1
    3. complete job succeeded
      attempts 1 input b47bb61ebf8aoutput 383a8eec6cab
      Attempts
      1. succeeded #1

Github checks

No Github check run linked yet. This appears when the repository is Github-connected and the worker has published queue, running, and completion check updates.

Keyboard shortcuts