Skip to content

ci: re-deploy PR summary workflow on OpenRouter#263

Merged
alexanderlhicks merged 2 commits into
masterfrom
chore/redeploy-pr-summary-openrouter
Jun 30, 2026
Merged

ci: re-deploy PR summary workflow on OpenRouter#263
alexanderlhicks merged 2 commits into
masterfrom
chore/redeploy-pr-summary-openrouter

Conversation

@alexanderlhicks

Copy link
Copy Markdown
Collaborator

Re-deploys the PR-summary workflow against the updated alexanderlhicks/lean-summary-workflow action, which is now a single OpenRouter-backed gateway (no per-provider input).

Changes to .github/workflows/summary.yml:

  • api_key now takes the OpenRouter key via secrets.OPENROUTER_KEY
  • removed the no-longer-supported provider input
  • model is an OpenRouter slug: google/gemini-3-flash-preview (swap to google/gemma-4-26b-a4b-it for ~8× lower cost)
  • renamed style_guide_pathadditional_instructions_path
  • added contents: read (required by the action's checkout under pull_request_target)
  • documented the optional knobs (reasoning_effort, max_file_diff_chars, max_instructions_diff_chars)

Requires the OPENROUTER_KEY repository secret (already added).

🤖 Generated with Claude Code

The lean-summary-workflow action is now a single OpenRouter-backed gateway.
Update summary.yml inputs: api_key takes the OpenRouter key
(secrets.OPENROUTER_KEY), drop the removed `provider` input, use an
OpenRouter model slug, rename style_guide_path -> additional_instructions_path,
and add contents:read for the action's checkout.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@github-actions

github-actions Bot commented Jun 30, 2026

Copy link
Copy Markdown

🤖 PR Summary

Failed to generate AI summary. Please check the per-file summaries and statistics below.


Statistics

Metric Count
📝 Files Changed 1
Lines Added 11
Lines Removed 10

Lean Declarations

  • No declarations were added, removed, or affected.

sorry Tracking

  • No sorrys were added, removed, or affected.

📄 **Per-File Summaries**
  • .github/workflows/summary.yml: Summary unavailable — error: Error code: 401 - {'error': {'message': 'Missing Authentication header', 'code': 401}}

Last updated: 2026-06-30 16:14 UTC.

@github-actions

Copy link
Copy Markdown

🤖 AI Review

No Lean files were changed in this PR.

…reopened/timeout)

Omit `model` so the workflow inherits the action's default
(deepseek/deepseek-v4-flash) — the fleet model can then be changed in one
place. Also add the `reopened` trigger, a job timeout, and (where applicable)
upstream_path for upstream-bound directories.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@github-actions

github-actions Bot commented Jun 30, 2026

Copy link
Copy Markdown

Build Timing Report

  • Commit: e39e32f
  • Message: Merge e2603b6 into 2e36d78
  • Ref: chore/redeploy-pr-summary-openrouter
  • Comparison baseline: 2e36d78 from merge-base on master.
  • Measured on ubuntu-latest with /usr/bin/time -p.
  • Commands: clean build rm -rf .lake/build && lake build; warm rebuild lake build; test path lake test.
Measurement Baseline (s) Current (s) Delta (s) Status
Clean build 424.48 434.01 +9.53 ok
Warm rebuild 1.34 1.42 +0.08 ok
Test path 36.19 38.33 +2.14 ok

Incremental Rebuild Signal

  • Warm rebuild saved 432.59s vs clean (305.64x faster).

This compares a clean project build against an incremental rebuild in the same CI job; it is a lightweight variability signal, not a full cross-run benchmark.

Slowest Current Clean-Build Files

Showing 20 slowest current targets, with comparison against the selected baseline when available.

Current (s) Baseline (s) Delta (s) Path
54.00 52.00 +2.00 CompPoly/Fields/Binary/BF128Ghash/XPowTwoPowModCertificate.lean
54.00 51.00 +3.00 CompPoly/Fields/Binary/Tower/Abstract/Basis.lean
41.00 45.00 -4.00 CompPoly/Univariate/DivisionCorrectness.lean
34.00 34.00 +0.00 CompPoly/Fields/Binary/BF128Ghash/Impl.lean
33.00 37.00 -4.00 CompPoly/Bivariate/Factor.lean
29.00 28.00 +1.00 CompPoly/Bivariate/GuruswamiSudan/Root/RothRuckenstein/Correctness.lean
28.00 29.00 -1.00 CompPoly/Bivariate/Deriv.lean
27.00 26.00 +1.00 CompPoly/Bivariate/ToPoly.lean
26.00 24.00 +2.00 CompPoly/Univariate/Raw/Proofs.lean
19.00 19.00 +0.00 CompPoly/Univariate/NTTFast/Correctness/Radix4DIT.lean
18.00 18.00 +0.00 CompPoly/Univariate/NTTFast/Correctness/Radix4DIF.lean
18.00 19.00 -1.00 CompPoly/Bivariate/GuruswamiSudan/Interpolation/LeeOSullivan/Correctness/Divisibility.lean
17.00 16.00 +1.00 CompPoly/Fields/Binary/Tower/Support/Preliminaries.lean
17.00 15.00 +2.00 CompPoly/Univariate/ReedSolomon/GaoCorrectness.lean
16.00 16.00 +0.00 CompPoly/Fields/KoalaBear/Fast.lean
16.00 16.00 +0.00 CompPoly/Univariate/NTT/Forward.lean
15.00 15.00 +0.00 CompPoly/Bivariate/GuruswamiSudan/Root/Alekhnovich/Correctness.lean
14.00 13.00 +1.00 CompPoly/Univariate/Basic.lean
14.00 15.00 -1.00 CompPoly/Fields/Binary/AdditiveNTT/NovelPolynomialBasis.lean
14.00 17.00 -3.00 CompPoly/Fields/Binary/AdditiveNTT/Intermediate.lean

@alexanderlhicks alexanderlhicks merged commit d458e5c into master Jun 30, 2026
4 checks passed
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