Skip to content

Conversation

@Negabinary
Copy link
Contributor

Comments out all "jumping at a distance" code; I'm not imagine this getting merged into dev, but it could be merged into a branch we want to use to deploy to a classroom, since "jumping at a distance" actions are not loggable.

@codecov
Copy link

codecov bot commented Jan 26, 2026

Codecov Report

❌ Patch coverage is 0% with 5 lines in your changes missing coverage. Please review.
⚠️ Please upload report for BASE (delete-axioms@b1c7734). Learn more about missing BASE report.

Files with missing lines Patch % Lines
src/web/view/TestView.re 0.00% 4 Missing ⚠️
src/haz3lcore/zipper/action/Action.re 0.00% 1 Missing ⚠️
Additional details and impacted files
@@               Coverage Diff                @@
##             delete-axioms    #2084   +/-   ##
================================================
  Coverage                 ?   49.63%           
================================================
  Files                    ?      231           
  Lines                    ?    25494           
  Branches                 ?        0           
================================================
  Hits                     ?    12654           
  Misses                   ?    12840           
  Partials                 ?        0           
Files with missing lines Coverage Δ
src/haz3lcore/ProbePerform.re 10.89% <ø> (ø)
.../haz3lcore/projectors/implementations/ProbeProj.re 1.48% <ø> (ø)
src/haz3lcore/zipper/action/Move.re 52.80% <ø> (ø)
src/web/app/editors/code/CodeEditable.re 0.00% <ø> (ø)
src/web/app/editors/result/EvalResult.re 1.27% <ø> (ø)
src/haz3lcore/zipper/action/Action.re 0.00% <0.00%> (ø)
src/web/view/TestView.re 0.00% <0.00%> (ø)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

Base automatically changed from fix-log to dev January 27, 2026 18:31
@Negabinary Negabinary force-pushed the stop-jumping branch 6 times, most recently from eb52048 to 4a6419a Compare February 5, 2026 20:26
@Negabinary Negabinary changed the base branch from dev to delete-axioms February 5, 2026 20:39
@Negabinary Negabinary force-pushed the stop-jumping branch 2 times, most recently from 30893c5 to 0d212b9 Compare February 6, 2026 16:07
@Negabinary Negabinary force-pushed the delete-axioms branch 2 times, most recently from 6af40f2 to 41225f3 Compare February 6, 2026 18:52
@Negabinary Negabinary force-pushed the stop-jumping branch 2 times, most recently from fb2f686 to fbbdb3a Compare February 6, 2026 18:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant