Login

Verification run

Run 67

ImperialCollegeLondon/FLT branch main triggered via poller
failed commit 16194cd55804 toolchain lean-v4-32-0-rc1 prover lean took 30m 8s · finished 3d ago

runtime execution failed: successful stable shard extract-stable-superset-a reached the semantic RSS hard stop at 3791163392 / 4026531840 bytes; refusing to continue semantic extraction

Open project

Semantic extraction

Modules done 16 / 252
Remaining 236
Path db checkpoint
Timeout left -
latest phase db_checkpoint 16 active targets 16 succeeded attempts · 0 failed attempts

Command outcomes

Runner Status Failure Events Max duration
stable_superset succeeded none 1 1m 39s

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset-a-partial succeeded none 16 1m 39s

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset db_checkpoint 183 ms 16 114 - -
stable_superset fragment_encoding 3 ms 16 114 - -
stable_superset fragment_encoding 0 ms 16 114 - -
stable_superset rust_validation 9 ms 16 114 - -
stable_superset semantic_command 1m 39s 16 - - -
stable_superset lean_import_env_load 31s - - - -
stable_superset semantic_command_cgroup_memory 0 ms - - - -
stable_superset lean_import_env_extract_write 1m 24s - - - -
stable_superset lean_process_resources 0 ms - - - -
stable_superset lean_module_json_write 0 ms - - - 49.1 KiB
stable_superset lean_module_json_serialize 0 ms - - - 49.1 KiB
stable_superset lean_module_fragment_build 0 ms 1 2 - -
stable_superset lean_declaration_extraction 13 ms 1 2 - -
stable_superset lean_module_json_write 0 ms - - - 13.9 KiB
stable_superset lean_module_json_serialize 0 ms - - - 13.9 KiB
stable_superset lean_module_fragment_build 0 ms 1 1 - -
stable_superset lean_declaration_extraction 8 ms 1 1 - -
stable_superset lean_module_json_write 0 ms - - - 57.9 KiB
stable_superset lean_module_json_serialize 0 ms - - - 57.9 KiB
stable_superset lean_module_fragment_build 0 ms 1 7 - -

Workflow timeline

1 workflow
  1. build verification run #67
    failed
    started finished
    1. verify failed
      attempts 1 input c1a374b250e1

      runtime execution failed: successful stable shard extract-stable-superset-a reached the semantic RSS hard stop at 3791163392 / 4026531840 bytes; refusing to continue semantic extraction

      Attempts
      1. failed #1
    2. persist result succeeded
      attempts 1 input c1a374b250e1
      Attempts
      1. succeeded #1
    3. complete job succeeded
      attempts 1 input c1a374b250e1
      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