Skip to content

Pin links to the retired launchers to commit 72d7258ed - #195

Merged
yichao-liang merged 1 commit into
masterfrom
pin-launcher-links
Sep 30, 2026
Merged

yichao-liang merged 1 commit into
masterfrom
pin-launcher-links

Conversation

@yichao-liang

Copy link
Copy Markdown
Collaborator

Summary

Docs and comments reach the launchers and the Domino band probe that #189 deleted through the iclr-empiric-submission tag, for example https://github.com/BasisResearch/predicators/blob/iclr-empiric-submission/scripts/configs/predicatorv3/continual_fan_ramp_skill_repair_r1.yaml.
The tag is about to move to the refactored master, where those files no longer exist, so those links would 404.

This pins all 24 mentions to commit 72d7258ed, the tag's current target, which stays in master's history:

  • 16 links in the experiment-record docs under docs/amps/ and docs/comparisons/ (full commit ID in the URL);
  • the matching link in scripts/plotting/monitor_benchmark_arms.py, which writes ten-agent-opus-benchmark.md, so a regenerated report keeps it;
  • 4 comments and an error message naming scripts/domino_debug/probe_min_block_bands.py, the bridge README, and two test docstrings.

Comments, strings and docs only.

Test plan

  • Every linked path exists at 72d7258ed, and GitHub resolves a full-commit link (checked through the contents API).
  • yapf, isort 5.10.1 and docformatter on the changed Python files; no line over the limit.
  • tests/test_benchmark_plots.py, which imports the report script.

🤖 Generated with Claude Code

Docs and comments reached the launchers and the Domino band probe that
#189 deleted through the iclr-empiric-submission tag. The tag is moving
to the refactored master, where those files no longer exist, so the 24
mentions now name commit 72d7258, the tag's current target, which
stays in master's history.
@yichao-liang
yichao-liang merged commit cca8cab into master Sep 30, 2026
14 checks passed
@yichao-liang
yichao-liang deleted the pin-launcher-links branch September 30, 2026 04:09
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