[ci] Post verification summary as sticky PR comment

[devin-ai-integration]

Summary

The verification summary tables (pass/fail/skip counts, per-file timings) only appeared in the docs job's step summary, because competitive-verifier docs --write-summary writes them to $GITHUB_STEP_SUMMARY — the CLI has no other output target, and the check subcommand doesn't support --write-summary at all.

This snapshots that step summary right after the Docs step (cp "$GITHUB_STEP_SUMMARY" $RUNNER_TEMP/verify-summary.md — each step gets its own summary file, so this captures only the verification tables) and posts it as a sticky PR comment (header: verify) via the same marocchino/sticky-pull-request-comment action already used for coverage.

Link to Devin session: https://app.devin.ai/sessions/92894aa8dba0415e94e3df205442e7ee
Requested by: @ecnerwala

---

[devin-ai-integration]

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

• Address comments on this PR. Add '(aside)' to your comment to have me ignore it.
• Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

• Disable automatic comment, CI, and merge conflict monitoring

[beta-devin-ai-integration]

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

[github-actions]

⚠ Verification result

• ✔  All test case results are success
• ❌  Test case results containts failure
• ⚠  Test case results containts skipped

Results

📝  File	✔ Passed	❌ Failed	⚠ Skipped	∑ Total	⏳ Elapsed	🦥 Slowest	🐘 Heaviest
Sum	24	-	2	26	7m 52s	-	-
✔  verify/composition_of_formal_power_series.test.cpp	2	-	-	2	4.3s	232ms	24.3MB
✔  verify/composition_of_formal_power_series_large.test.cpp	2	-	-	2	1m 25s	4.9s	238MB
✔  verify/convolution_mod.test.cpp	2	-	-	2	19s	617ms	52.2MB
✔  verify/convolution_mod_1000000007-crt.test.cpp	2	-	-	2	32s	1.1s	119MB
✔  verify/convolution_mod_1000000007-fft_split.test.cpp	2	-	-	2	32s	1.2s	135MB
⚠  verify/convolution_mod_large-crt.test.cpp	-	-	2	2	0ms	-	-
✔  verify/exp_of_formal_power_series.test.cpp	2	-	-	2	24s	1.6s	114MB
✔  verify/inv_of_formal_power_series.test.cpp	2	-	-	2	9.1s	577ms	65.5MB
✔  verify/log_of_formal_power_series.test.cpp	2	-	-	2	13s	905ms	99.8MB
✔  verify/multipoint_evaluation.test.cpp	2	-	-	2	10.0s	1.6s	211MB
✔  verify/polynomial_interpolation.test.cpp	2	-	-	2	14s	2.7s	310MB
✔  verify/pow_of_formal_power_series.test.cpp	2	-	-	2	37s	2.8s	188MB
✔  verify/shift_of_sampling_points_of_polynomial.test.cpp	2	-	-	2	10s	600ms	57MB

Past results

📝  File	✔ Passed	❌ Failed	⚠ Skipped	∑ Total	⏳ Elapsed	🦥 Slowest	🐘 Heaviest
✔  verify/cartesian_tree.test.cpp	2	-	-	2	2.5s	309ms	72MB
✔  verify/characteristic_polynomial.test.cpp	2	-	-	2	12s	585ms	14MB
✔  verify/common_interval_decomposition_tree.test.cpp	2	-	-	2	35s	2.4s	306MB
✔  verify/dirichlet_convolution_and_prefix_sums.test.cpp	2	-	-	2	2m 12s	12s	38MB
✔  verify/dirichlet_inverse_and_prefix_sums.test.cpp	2	-	-	2	2m 10s	12s	37.9MB
✔  verify/enumerate_palindromes.test.cpp	2	-	-	2	2.1s	265ms	16.1MB
✔  verify/jump_on_tree-level_ancestor.test.cpp	2	-	-	2	44s	5.1s	658MB
✔  verify/lca-static_tree.test.cpp	2	-	-	2	1m 0s	4.0s	469MB
✔  verify/min_plus_convolution_convex_arbitrary.test.cpp	2	-	-	2	8.9s	333ms	30.1MB
✔  verify/nim_product_64.test.cpp	2	-	-	2	22s	5.6s	10.4MB
✔  verify/number_of_substrings.test.cpp	2	-	-	2	2.1s	252ms	21.1MB
✔  verify/point_add_range_sum.test.cpp	2	-	-	2	3.7s	273ms	19.1MB
✔  verify/point_set_range_composite.test.cpp	2	-	-	2	9.1s	883ms	20.2MB
✔  verify/range_affine_point_get.test.cpp	2	-	-	2	15s	2.5s	23.8MB
✔  verify/range_affine_range_sum.test.cpp	2	-	-	2	27s	4.5s	33.7MB
✔  verify/sort_points_by_argument.test.cpp	2	-	-	2	5.8s	312ms	15.6MB
✔  verify/st_numbering.test.cpp	2	-	-	2	11s	1.4s	206MB
✔  verify/staticrmq.test.cpp	2	-	-	2	4.9s	218ms	23.6MB
✔  verify/suffixarray.test.cpp	2	-	-	2	3.9s	112ms	19MB
✔  verify/sum_of_totient_function.test.cpp	2	-	-	2	19s	570ms	14.3MB

[github-actions]

GCC Code Coverage Report

📂 Overall coverage

Metric	Coverage
Lines	🟡 7583/9429 (80.4%)
Functions	🟡 994/1145 (86.8%)
Branches	🟡 6026/7803 (77.2%)