Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
f25e2b12
by Cheng Shao at 2026-01-14T11:10:39-05:00
1 changed file:
Changes:
| ... | ... | @@ -685,13 +685,10 @@ def main() -> None: |
| 685 | 685 | parser.add_argument("--add-note", nargs=3,
|
| 686 | 686 | help="Development only. --add-note N commit seed \
|
| 687 | 687 | Adds N fake metrics to the given commit using the random seed.")
|
| 688 | - parser.add_argument("--ci", action='store_true',
|
|
| 689 | - help="Use ci results. You must fetch these with:\n " \
|
|
| 690 | - + "$ git fetch https://gitlab.haskell.org/ghc/ghc-performance-notes.git refs/notes/perf:refs/notes/ci/perf")
|
|
| 691 | 688 | |
| 692 | 689 | group = parser.add_argument_group(title='Filtering', description="Select which subset of performance metrics to dump")
|
| 693 | 690 | group.add_argument("--test-env",
|
| 694 | - help="The given test environment to be compared. Use 'local' for locally run results. If using --ci, see .gitlab-ci file for TEST_ENV settings.")
|
|
| 691 | + help="The given test environment to be compared. Use 'local' for locally run results.")
|
|
| 695 | 692 | group.add_argument("--test-name",
|
| 696 | 693 | help="Filters for tests matching the given regular expression.")
|
| 697 | 694 | group.add_argument("--metric",
|
| ... | ... | @@ -721,8 +718,6 @@ def main() -> None: |
| 721 | 718 | #
|
| 722 | 719 | |
| 723 | 720 | ref = NoteNamespace('perf')
|
| 724 | - if args.ci:
|
|
| 725 | - ref = NoteNamespace('ci/perf')
|
|
| 726 | 721 | |
| 727 | 722 | commits = args.commits
|
| 728 | 723 | if args.commits:
|