Coverage

Workflow runs for Coverage

• update readme for move to whiteboard

  cancelled:
  Coverage#532:Commita35aa40pushedbysidkmenon
  main

  Oct 9, 202631s
  More actions for workflow run 532

• Add diffr search

  completed successfully:
  Coverage#531:Pull request#106openedbysidkmenon
  search/review

  Oct 8, 202627m 33s
  More actions for workflow run 531

• Carry search hits through the plugin contract

  completed successfully:
  Coverage#530:Pull request#105openedbysidkmenon
  search/plugin-contract

  Oct 8, 202623m 47s
  More actions for workflow run 530

• Drop structural_changes from the file record

  completed successfully:
  Coverage#529:Pull request#104openedbysidkmenon
  drop-structural-changes

  Oct 8, 202623m 17s
  More actions for workflow run 529

• Give each leaf the id of its partner on the other side

  completed successfully:
  Coverage#528:Commit8a6e02apushedbysidkmenon
  search/plugin-contract

  Oct 8, 202649m 7s
  More actions for workflow run 528

• Add the diffr search command

  completed successfully:
  Coverage#527:Commit8f2c11bpushedbysidkmenon
  search/review

  Oct 8, 202650m 21s
  More actions for workflow run 527

• Drop structural_changes from the file record

  completed successfully:
  Coverage#526:Commitd8335d7pushedbysidkmenon
  drop-structural-changes

  Oct 8, 202635m 54s
  More actions for workflow run 526

• bench: add reproducible engine and context shaping workload

  completed successfully:
  Coverage#525:Pull request#103openedbymilanb17
  codex/engine-performance-bench

  Oct 8, 202645m 51s
  More actions for workflow run 525

• bench: add reproducible engine and context shaping workload

  completed successfully:
  Coverage#524:Commitf0aa34dpushedbymilanb17
  codex/engine-performance-bench

  Oct 8, 202635m 57s
  More actions for workflow run 524

• Give each leaf the id of its partner on the other side

  completed successfully:
  Coverage#523:Commit748d083pushedbysidkmenon
  search/plugin-contract

  Oct 8, 202616m 47s
  More actions for workflow run 523

• Drop structural_changes from the file record

  completed successfully:
  Coverage#522:Commitb9c2dbbpushedbysidkmenon
  drop-structural-changes

  Oct 8, 202616m 14s
  More actions for workflow run 522

• Add the diffr search command

  completed successfully:
  Coverage#521:Commit17e60a0pushedbysidkmenon
  search/review

  Oct 7, 202615m 16s
  More actions for workflow run 521

• Prepare diffr 0.1.16

  completed successfully:
  Coverage#520:Commit1d23bc7pushedbysidkmenon
  0.1.16

  Oct 7, 202649m 29s
  More actions for workflow run 520

• Prepare diffr 0.1.16

  completed successfully:
  Coverage#519:Commit1d23bc7pushedbysidkmenon
  main

  Oct 7, 202650m 48s
  More actions for workflow run 519

• Prepare diffr 0.1.15 (#102)

  completed successfully:
  Coverage#518:Commit0736d3bpushedbysidkmenon
  0.1.15

  Oct 7, 202648m 19s
  More actions for workflow run 518

• Prepare diffr 0.1.15 (#102)

  completed successfully:
  Coverage#517:Commit0736d3bpushedbysidkmenon
  main

  Oct 7, 202633m 22s
  More actions for workflow run 517

• Prepare diffr 0.1.15

  completed successfully:
  Coverage#516:Pull request#102openedbysidkmenon
  diffr-0.1.15

  Oct 7, 202649m 13s
  More actions for workflow run 516

• Prepare diffr 0.1.15

  completed successfully:
  Coverage#515:Commiteffc4eapushedbysidkmenon
  diffr-0.1.15

  Oct 7, 202648m 34s
  More actions for workflow run 515

• Keep a block's brackets when its folds merge by lines

  completed successfully:
  Coverage#514:Pull request#100synchronizebysidkmenon
  fold-merge-keeps-syntax

  Oct 7, 202648m 42s
  More actions for workflow run 514

• Keep a block's brackets when its folds merge by lines

  completed successfully:
  Coverage#513:Pull request#100synchronizebysidkmenon
  fold-merge-keeps-syntax

  Oct 7, 202624m 11s
  More actions for workflow run 513

• Keep a block's brackets when its folds merge by lines

  completed successfully:
  Coverage#512:Commitaddbc3bpushedbysidkmenon
  fold-merge-keeps-syntax

  Oct 7, 202631m 31s
  More actions for workflow run 512

• Keep a block's brackets when its folds merge by lines

  completed successfully:
  Coverage#511:Pull request#100openedbysidkmenon
  fold-merge-keeps-syntax

  Oct 7, 202649m 5s
  More actions for workflow run 511

• Keep a block's brackets when its folds merge by lines

  completed successfully:
  Coverage#510:Commitf763846pushedbysidkmenon
  fold-merge-keeps-syntax

  Oct 7, 202627m 31s
  More actions for workflow run 510

• TUI: say how many lines an unlabelled fold hides

  completed successfully:
  Coverage#509:Pull request#99openedbysidkmenon
  tui-fold-line-counts

  Oct 7, 202648m 37s
  More actions for workflow run 509

• TUI: say how many lines an unlabelled fold hides

  completed successfully:
  Coverage#508:Commit6cc240fpushedbysidkmenon
  tui-fold-line-counts

  Oct 7, 202648m 43s
  More actions for workflow run 508