You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
**Tip:** If outcomes miss, either **iterate** (new Options) or **reframe** (back to Problem).
168
-
169
-
---
170
-
171
129
### Benchmarking workflow (repository-wide)
172
130
173
131
The `scripts/run-single-benchmark.sh` helper is the supported path for spot-checking performance optimisations. It builds the chosen module with the `benchmarks` profile, constrains the benchmark selection to a single `@Benchmark` method, and when `--enable-jfr` is supplied it enforces repeatable profiling defaults (no warmup, ten 10-second measurements, one fork) while clearly reporting the destination of the generated JFR recording. Lean on this script whenever you need a reproducible measurement harness.
* Ensure every touched Java file has the correct agent signature comment (`// Some portions generated by Codex` for Codex, `// Some portions generated by Co-Pilot` for GitHub Co-Pilot) inserted immediately below the header before formatting.
323
+
* Before invoking the formatter, `cd scripts && ./checkCopyrightPresent.sh` (or use `pushd/popd`) to ensure every new or edited source file still carries the required header; fix any findings before formatting.
@@ -570,6 +529,10 @@ Hint: get the current year with `date +%Y`.
570
529
571
530
Do **not** modify existing headers’ years.
572
531
532
+
Right below the header block, insert an agent signature comment: Codex agents must add `// Some portions generated by Codex`, and GitHub Co-Pilot agents must add `// Some portions generated by Co-Pilot`. Align the wording with whatever agent name you are currently operating under.
533
+
534
+
Immediately after creating any new Java source file, add the signature comment (per rule above) and run `cd scripts && ./checkCopyrightPresent.sh` (or an equivalent pushd/popd invocation) so you catch missing copyright/SPDX lines before moving on.
535
+
573
536
---
574
537
575
538
## Pre‑Commit Checklist
@@ -651,7 +614,6 @@ Do **not** modify existing headers’ years.
651
614
* **Files touched:** list file paths.
652
615
* **Commands run:** key build/test commands.
653
616
* **Verification:** which tests passed, where you checked reports.
0 commit comments