[INFO] cloning repository https://github.com/frgmt0/nothing
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/frgmt0/nothing" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffrgmt0%2Fnothing", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffrgmt0%2Fnothing'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0a5a4bf284f1ed1f45a5bc63fef376786348a884
[INFO] testing frgmt0/nothing/0a5a4bf284f1ed1f45a5bc63fef376786348a884 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffrgmt0%2Fnothing" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/frgmt0/nothing
[INFO] finished tweaking git repo https://github.com/frgmt0/nothing
[INFO] tweaked toml for git repo https://github.com/frgmt0/nothing written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/frgmt0/nothing on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/frgmt0/nothing already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unicode-truncate v2.0.1
[INFO] [stderr]   Downloaded vtparse v0.6.2
[INFO] [stderr]   Downloaded wezterm-color-types v0.3.0
[INFO] [stderr]   Downloaded lab v0.11.0
[INFO] [stderr]   Downloaded wezterm-blob-leases v0.1.1
[INFO] [stderr]   Downloaded wezterm-dynamic-derive v0.1.1
[INFO] [stderr]   Downloaded ratatui-termina v0.1.0
[INFO] [stderr]   Downloaded atomic v0.6.1
[INFO] [stderr]   Downloaded wezterm-dynamic v0.2.1
[INFO] [stderr]   Downloaded instability v0.3.13
[INFO] [stderr]   Downloaded memmem v0.1.1
[INFO] [stderr]   Downloaded palette_math v0.7.7
[INFO] [stderr]   Downloaded ratatui-macros v0.7.2
[INFO] [stderr]   Downloaded csscolorparser v0.6.2
[INFO] [stderr]   Downloaded lru v0.18.2
[INFO] [stderr]   Downloaded palette_derive v0.7.7
[INFO] [stderr]   Downloaded kasuari v0.4.12
[INFO] [stderr]   Downloaded line-clipping v0.3.8
[INFO] [stderr]   Downloaded ratatui-termwiz v0.1.2
[INFO] [stderr]   Downloaded pest_generator v2.9.0
[INFO] [stderr]   Downloaded terminfo v0.9.0
[INFO] [stderr]   Downloaded pest_derive v2.9.0
[INFO] [stderr]   Downloaded pest_meta v2.9.0
[INFO] [stderr]   Downloaded ratatui-core v0.1.2
[INFO] [stderr]   Downloaded wezterm-input-types v0.1.0
[INFO] [stderr]   Downloaded ratatui-crossterm v0.1.2
[INFO] [stderr]   Downloaded ratatui v0.30.2
[INFO] [stderr]   Downloaded finl_unicode v1.4.0
[INFO] [stderr]   Downloaded wezterm-bidi v0.2.3
[INFO] [stderr]   Downloaded termina v0.3.3
[INFO] [stderr]   Downloaded compact_str v0.9.1
[INFO] [stderr]   Downloaded pest v2.9.0
[INFO] [stderr]   Downloaded ratatui-widgets v0.3.2
[INFO] [stderr]   Downloaded palette v0.7.7
[INFO] [stderr]   Downloaded termwiz v0.23.3
[INFO] [stderr]   Downloaded deltae v0.3.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802
[INFO] running `Command { std: "docker" "start" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitmaps v2.1.0
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling syn v3.0.4
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling cpufeatures v0.3.1
[INFO] [stderr]    Compiling arrayvec v0.7.8
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling foldhash v0.2.0
[INFO] [stderr]    Compiling thiserror v2.0.20
[INFO] [stderr]    Compiling uuid v1.26.0
[INFO] [stderr]    Compiling cc v1.4.4
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling bitflags v2.13.1
[INFO] [stderr]    Compiling either v1.18.0
[INFO] [stderr]    Compiling castaway v0.2.4
[INFO] [stderr]    Compiling errno v0.3.14
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling rand_xoshiro v0.6.0
[INFO] [stderr]    Compiling unicode-segmentation v1.13.3
[INFO] [stderr]    Compiling instability v0.3.13
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling compact_str v0.9.1
[INFO] [stderr]    Compiling signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling smallvec v1.15.2
[INFO] [stderr]    Compiling log v0.4.34
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling convert_case v0.10.0
[INFO] [stderr]    Compiling mio v1.2.2
[INFO] [stderr]    Compiling litrs v1.0.0
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling sized-chunks v0.6.5
[INFO] [stderr]    Compiling time v0.3.55
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling line-clipping v0.3.8
[INFO] [stderr]    Compiling signal-hook-mio v0.2.5
[INFO] [stderr]    Compiling document-features v0.2.12
[INFO] [stderr]    Compiling blake3 v1.8.7
[INFO] [stderr]    Compiling lru v0.18.2
[INFO] [stderr]    Compiling strum_macros v0.28.0
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling unicode-truncate v2.0.1
[INFO] [stderr]    Compiling derive_more v2.1.1
[INFO] [stderr]    Compiling crossterm v0.29.0
[INFO] [stderr]    Compiling nothing-core v0.1.0 (/opt/rustwide/workdir/core)
[INFO] [stderr]    Compiling strum v0.28.0
[INFO] [stderr]    Compiling darling_core v0.24.1
[INFO] [stderr]    Compiling nothing-action v0.1.0 (/opt/rustwide/workdir/action)
[INFO] [stderr]    Compiling thiserror-impl v2.0.20
[INFO] [stderr]    Compiling kasuari v0.4.12
[INFO] [stderr]    Compiling nothing-store v0.1.0 (/opt/rustwide/workdir/store)
[INFO] [stderr]    Compiling ratatui-core v0.1.2
[INFO] [stderr]    Compiling nothing-merge v0.1.0 (/opt/rustwide/workdir/merge)
[INFO] [stderr]    Compiling nothing-eval v0.1.0 (/opt/rustwide/workdir/eval)
[INFO] [stderr]    Compiling nothing-stdlib v0.1.0 (/opt/rustwide/workdir/stdlib)
[INFO] [stderr]    Compiling darling_macro v0.24.1
[INFO] [stderr]    Compiling nothing-bench v0.1.0 (/opt/rustwide/workdir/bench)
[INFO] [stderr]    Compiling darling v0.24.1
[INFO] [stderr]    Compiling nothing-agentapi v0.1.0 (/opt/rustwide/workdir/agentapi)
[INFO] [stderr]    Compiling ratatui-widgets v0.3.2
[INFO] [stderr]    Compiling ratatui-crossterm v0.1.2
[INFO] [stderr]    Compiling ratatui-macros v0.7.2
[INFO] [stderr]    Compiling ratatui v0.30.2
[INFO] [stderr]    Compiling nothing-tui v0.1.0 (/opt/rustwide/workdir/tui)
[INFO] [stderr]    Compiling nothing-cli v0.1.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 52.25s
[INFO] running `Command { std: "docker" "inspect" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling fastrand v2.5.0
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling nothing-stdlib v0.1.0 (/opt/rustwide/workdir/stdlib)
[INFO] [stderr]    Compiling nothing-bench v0.1.0 (/opt/rustwide/workdir/bench)
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand v0.9.5
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling crossterm v0.29.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling ratatui-crossterm v0.1.2
[INFO] [stderr]    Compiling ratatui v0.30.2
[INFO] [stderr]    Compiling nothing-tui v0.1.0 (/opt/rustwide/workdir/tui)
[INFO] [stderr]    Compiling nothing-cli v0.1.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]    Compiling nothing-store v0.1.0 (/opt/rustwide/workdir/store)
[INFO] [stderr]    Compiling nothing-agentapi v0.1.0 (/opt/rustwide/workdir/agentapi)
[INFO] [stderr]    Compiling nothing-core v0.1.0 (/opt/rustwide/workdir/core)
[INFO] [stderr]    Compiling nothing-action v0.1.0 (/opt/rustwide/workdir/action)
[INFO] [stderr]    Compiling nothing-merge v0.1.0 (/opt/rustwide/workdir/merge)
[INFO] [stderr]    Compiling nothing-eval v0.1.0 (/opt/rustwide/workdir/eval)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 15s
[INFO] running `Command { std: "docker" "inspect" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.23s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/nothing_action-0dc7379f6494712e)
[INFO] [stdout] 
[INFO] [stdout] running 118 tests
[INFO] [stdout] test act::tests::construct_ap_on_a_hole_leaves_the_cursor_on_the_function ... ok
[INFO] [stdout] test act::tests::construct_bool_writes_a_literal_and_keeps_the_cursor_on_it ... ok
[INFO] [stdout] test act::tests::construct_lam_builds_an_unannotated_binder_with_the_cursor_in_the_body ... ok
[INFO] [stdout] test act::tests::a_binder_constructed_twice_gets_two_distinct_ids ... ok
[INFO] [stdout] test act::tests::construct_binop_on_a_hole_leaves_the_cursor_on_the_left_operand ... ok
[INFO] [stdout] test act::tests::construct_num_writes_a_literal_and_keeps_the_cursor_on_it ... ok
[INFO] [stdout] test act::tests::construct_binop_wraps_focus ... ok
[INFO] [stdout] test act::tests::construct_if_on_a_hole_leaves_the_cursor_on_the_scrutinee ... ok
[INFO] [stdout] test act::tests::construct_let_on_a_hole_leaves_the_cursor_on_the_bound_expression ... ok
[INFO] [stdout] test act::tests::construct_ap_on_a_non_function_quarantines_it ... ok
[INFO] [stdout] test act::tests::a_construction_that_fits_is_not_quarantined ... ok
[INFO] [stdout] test act::tests::construct_pair_on_a_hole_leaves_the_cursor_on_the_first_component ... ok
[INFO] [stdout] test act::tests::construct_var_fails_cleanly_when_the_binder_is_not_in_scope ... ok
[INFO] [stdout] test act::tests::delete_at_the_root_yields_a_bare_hole ... ok
[INFO] [stdout] test act::tests::a_quarantined_form_is_still_entered_by_the_cursor ... ok
[INFO] [stdout] test act::tests::construct_if_wraps_the_focus_as_the_scrutinee ... ok
[INFO] [stdout] test act::tests::delete_inside_a_non_empty_hole_keeps_the_hole ... ok
[INFO] [stdout] test act::tests::construct_lam_wraps_the_focus_as_the_body ... ok
[INFO] [stdout] test act::tests::construct_proj_on_a_hole_leaves_the_cursor_on_the_operand ... ok
[INFO] [stdout] test act::tests::constructing_one_plus_true_quarantines_the_true ... ok
[INFO] [stdout] test act::tests::a_non_empty_hole_edited_until_it_fits_can_be_finished ... ok
[INFO] [stdout] test act::tests::delete_uses_a_hole_id_not_already_in_the_program ... ok
[INFO] [stdout] test act::tests::construct_let_wraps_the_focus_as_the_bound_expression ... ok
[INFO] [stdout] test act::tests::construct_binop_on_a_bool_focus_quarantines_the_bool ... ok
[INFO] [stdout] test act::tests::expected_ty_at_an_if_scrutinee_is_bool ... ok
[INFO] [stdout] test act::tests::expected_ty_at_a_binop_operand_is_num ... ok
[INFO] [stdout] test act::tests::expected_ty_at_an_application_argument_is_the_functions_input ... ok
[INFO] [stdout] test act::tests::construct_var_writes_an_in_scope_reference_and_keeps_the_cursor_on_it ... ok
[INFO] [stdout] test act::tests::construct_pair_wraps_the_focus_as_the_first_component ... ok
[INFO] [stdout] test act::tests::delete_weakens_a_binding_to_hole_without_breaking_its_uses ... ok
[INFO] [stdout] test act::tests::edit_state_leaves_itself_untouched_when_an_action_does_not_apply ... ok
[INFO] [stdout] test act::tests::expected_ty_at_the_root_is_unconstrained ... ok
[INFO] [stdout] test act::tests::empty_edit_state_is_a_well_typed_hole ... ok
[INFO] [stdout] test act::tests::construct_ap_wraps_focus ... ok
[INFO] [stdout] test act::tests::fresh_from_program_never_reissues_an_id_the_program_already_uses ... ok
[INFO] [stdout] test act::tests::expected_ty_under_a_projection_is_a_product ... ok
[INFO] [stdout] test act::tests::expected_ty_at_an_if_branch_comes_from_the_other_branch ... ok
[INFO] [stdout] test act::tests::finish_refuses_while_the_contents_still_do_not_fit ... ok
[INFO] [stdout] test act::tests::movement_actions_relocate_the_cursor ... ok
[INFO] [stdout] test act::tests::expected_ty_is_pushed_through_an_application_into_a_lambda_body ... ok
[INFO] [stdout] test act::tests::finish_does_not_apply_off_a_non_empty_hole ... ok
[INFO] [stdout] test act::tests::hole_type_is_what_delete_leaves_behind ... ok
[INFO] [stdout] test act::tests::expected_ty_is_pushed_into_a_pair_component ... ok
[INFO] [stdout] test act::tests::movement_never_reaches_children_of_a_leaf ... ok
[INFO] [stdout] test act::tests::finish_undoes_an_automatic_quarantine ... ok
[INFO] [stdout] test act::tests::construct_proj_wraps_the_focus_as_the_operand ... ok
[INFO] [stdout] test act::tests::nothing_is_expected_of_a_holes_contents ... ok
[INFO] [stdout] test act::tests::out_of_range_movement_returns_none_rather_than_panicking ... ok
[INFO] [stdout] test act::tests::nothing_is_expected_of_a_let_bound_expression ... ok
[INFO] [stdout] test act::tests::quarantine_also_catches_a_branch_that_would_not_join ... ok
[INFO] [stdout] test cursor_render::tests::root_position_matches_the_plain_projection_once_markers_are_stripped ... ok
[INFO] [stdout] test act::tests::wrapping_does_not_drag_the_cursor_back_into_the_wrapped_expression ... ok
[INFO] [stdout] test cursor_render::tests::a_leaf_deep_inside_the_program_is_delimited_in_place ... ok
[INFO] [stdout] test act::tests::typing_one_plus_two_from_an_empty_hole_takes_exactly_three_actions ... ok
[INFO] [stdout] test act::tests::repeated_deletes_in_a_session_never_reuse_a_hole_id ... ok
[INFO] [stdout] test generate::tests::generated_programs_are_not_all_trivial ... ok
[INFO] [stdout] test generate::tests::generated_programs_contain_holes_of_both_kinds ... ok
[INFO] [stdout] test cursor_render::tests::cursor_moves_produce_visibly_distinct_output_at_every_position ... ok
[INFO] [stdout] test generate::tests::generator_is_deterministic ... ok
[INFO] [stdout] test act::tests::deleting_any_subexpression_of_any_example_stays_well_typed ... ok
[INFO] [stdout] test log::tests::a_failed_action_does_not_touch_the_log_or_the_cursor ... ok
[INFO] [stdout] test act::tests::movement_changes_only_the_focus ... ok
[INFO] [stdout] test log::tests::empty_log_replays_to_the_empty_program ... ok
[INFO] [stdout] test act::tests::ctx_at_agrees_with_the_zippers_own_context_walk ... ok
[INFO] [stdout] test log::tests::new_session_starts_at_the_empty_program_with_an_empty_log ... ok
[INFO] [stdout] test log::tests::now_millis_is_nonzero_and_increases ... ok
[INFO] [stdout] test act::tests::delete_leaves_the_cursor_on_a_fresh_hole ... ok
[INFO] [stdout] test cursor_render::tests::stripping_markers_reproduces_the_plain_projection ... ok
[INFO] [stdout] test log::tests::timestamps_and_authors_round_trip_through_the_log ... ok
[INFO] [stdout] test log::tests::undo_then_new_action_truncates_the_redo_tail ... ok
[INFO] [stdout] test script::tests::a_rename_step_resolves_against_the_focused_binder ... ok
[INFO] [stdout] test script::tests::a_script_replays_from_the_empty_program ... ok
[INFO] [stdout] test script::tests::a_script_reports_the_line_of_a_bad_action ... ok
[INFO] [stdout] test script::tests::a_script_reports_the_line_of_an_action_that_does_not_apply ... ok
[INFO] [stdout] test script::tests::an_inner_binder_wins_a_shared_display_name ... ok
[INFO] [stdout] test script::tests::blank_lines_and_comments_are_ignored ... ok
[INFO] [stdout] test script::tests::construct_var_names_the_binder_rather_than_its_identity ... ok
[INFO] [stdout] test script::tests::every_action_is_documented_in_the_help_text ... ok
[INFO] [stdout] test script::tests::every_type_the_grammar_produces_round_trips_through_display ... ok
[INFO] [stdout] test script::tests::harness_commands_are_rejected_inside_a_script ... ok
[INFO] [stdout] test script::tests::harness_commands_parse ... ok
[INFO] [stdout] test script::tests::negative_numbers_are_accepted_but_negative_indices_are_not ... ok
[INFO] [stdout] test script::tests::operator_and_side_aliases_work ... ok
[INFO] [stdout] test script::tests::quit_ends_a_script_and_comments_do_not_count_as_actions ... ok
[INFO] [stdout] test script::tests::step_name_and_parse_step_are_inverse ... ok
[INFO] [stdout] test script::tests::the_type_grammar_binds_as_documented ... ok
[INFO] [stdout] test script::tests::unknown_and_malformed_input_is_an_error_not_a_panic ... ok
[INFO] [stdout] test zipper::tests::all_positions_visits_every_node_once ... ok
[INFO] [stdout] test act::tests::movement_fails_cleanly_at_the_edges ... ok
[INFO] [stdout] test zipper::tests::ctx_at_a_bind_body_sees_the_binder_at_whatever_the_command_yields ... ok
[INFO] [stdout] test zipper::tests::ctx_at_a_lambda_body_sees_the_parameter ... ok
[INFO] [stdout] test log::tests::appending_100_actions_produces_100_entries ... ok
[INFO] [stdout] test zipper::tests::ctx_at_the_root_is_empty ... ok
[INFO] [stdout] test zipper::tests::descend_then_ascend_returns_to_the_same_place ... ok
[INFO] [stdout] test generate::tests::arbitrary_seeds_give_well_typed_programs ... ok
[INFO] [stdout] test zipper::tests::move_child_out_of_range_fails_cleanly ... ok
[INFO] [stdout] test zipper::tests::move_parent_at_the_root_fails_cleanly ... ok
[INFO] [stdout] test zipper::tests::sibling_movement_at_the_root_fails_cleanly ... ok
[INFO] [stdout] test zipper::tests::sibling_movement_walks_the_children_and_stops_at_the_ends ... ok
[INFO] [stdout] test zipper::tests::ctx_at_a_let_body_sees_the_binding_but_the_bound_expression_does_not ... ok
[INFO] [stdout] test zipper::tests::zip_from_every_position_reproduces_the_program ... ok
[INFO] [stdout] test zipper::tests::zip_unzip_is_the_identity_on_every_example ... ok
[INFO] [stdout] test zipper::tests::zip_after_arbitrary_movement_reproduces_the_program ... ok
[INFO] [stdout] test zipper::tests::zip_unzip_roundtrip ... ok
[INFO] [stdout] test generate::tests::arbitrary_depths_give_well_typed_programs ... ok
[INFO] [stdout] test log::tests::replaying_100_actions_from_the_empty_program_reproduces_the_final_program_exactly ... ok
[INFO] [stdout] test log::tests::replaying_a_prefix_reproduces_the_state_at_that_point ... ok
[INFO] [stdout] test zipper::tests::every_position_of_an_arbitrary_program_rebuilds_it ... ok
[INFO] [stdout] test zipper::tests::ascending_to_the_root_yields_the_program ... ok
[INFO] [stdout] test generate::tests::generated_programs_synthesise_exactly_the_requested_type ... ok
[INFO] [stdout] test log::tests::fifty_random_actions_undo_fully_to_empty_and_redo_to_the_same_final_state ... ok
[INFO] [stdout] test act::tests::delete_preserves_well_typedness_everywhere ... ok
[INFO] [stdout] test act::tests::interleaved_movement_and_deletion_stays_well_typed ... ok
[INFO] [stdout] test generate::tests::ten_thousand_generated_programs_are_well_typed ... ok
[INFO] [stdout] test act::tests::interleaved_editing_stays_well_typed ... ok
[INFO] [stdout] test cursor_render::tests::stripping_markers_reproduces_the_plain_projection_on_generated_programs ... ok
[INFO] [stdout] test act::tests::construction_anywhere_preserves_well_typedness has been running for over 60 seconds
[INFO] [stdout] test act::tests::wrapping_constructions_never_discard_the_focus has been running for over 60 seconds
[INFO] [stdout] test act::tests::wrapping_constructions_never_discard_the_focus ... ok
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802", kill_on_drop: false }`
[INFO] [stdout] 87b09f725c906570ea7bc61eb539e7cdd85c9a41ef97b0fce20f8a10b12cd802
