Python CI

python_ci.yml

910 workflow runs

Filter low-star rows from rendered candidates table (#25)
completed successfully:
Python CI#35:Commit097f08apushedbyjustincasher
main
May 9, 202616s
Filter low-star rows from rendered candidates table
completed successfully:
Python CI#34:Pull request#25openedbyjustincasher
justin/render-min-stars-filter
May 9, 202617s
Add Lean column sourced from local clones (#23)
completed successfully:
Python CI#33:Commit79f6e57pushedbyjustincasher
main
May 9, 202615s
Add Lean toolchain column to candidates table
completed successfully:
Python CI#32:Pull request#23openedbyjustincasher
justin/lean-toolchain-column
May 9, 202614s
Add aggregator clone subcommand for shallow candidate clones (#21)
completed successfully:
Python CI#31:Commit198ae6dpushedbyjustincasher
main
May 9, 202614s
Add aggregator clone subcommand for shallow candidate clones
completed successfully:
Python CI#30:Pull request#21openedbyjustincasher
justin/clone-candidates
May 9, 202615s
Flush Lean quality audit files
completed successfully:
Python CI#29:Commit3865de6pushedbyVilin97
main
May 9, 202619s
Link header quality errors to docs
completed successfully:
Python CI#28:Commit65ee3b1pushedbyVilin97
main
May 9, 202617s
Merge remote-tracking branch 'origin/main' into ci-setup
completed successfully:
Python CI#27:Commitf5ffff3pushedbyVilin97
main
May 9, 202616s
Dedupe candidates by canonical GitHub key (#19)
completed successfully:
Python CI#26:Commit9a78cc4pushedbyjustincasher
main
May 9, 202617s
Dedupe candidates by canonical GitHub key
completed successfully:
Python CI#25:Pull request#19openedbyjustincasher
justin/dedupe-candidates
May 9, 202613s
Add manual candidate list for repos Reservoir does not index (#16)
completed successfully:
Python CI#24:Commit362bf01pushedbyjustincasher
main
May 9, 202615s
Add manual candidate list for repos Reservoir does not index
completed successfully:
Python CI#23:Pull request#16synchronizebyjustincasher
justin/manual-candidates
May 9, 202613s
Tighten S1: add Decision flow, structural floors, charity warning
completed successfully:
Python CI#22:Commitde02a52pushedbyVilin97
main
May 9, 202615s
Add manual candidate list for repos Reservoir does not index
completed successfully:
Python CI#21:Pull request#16openedbyjustincasher
justin/manual-candidates
May 9, 202616s
Render candidates README from Reservoir manifest (#15)
completed successfully:
Python CI#20:Commit5fbf82dpushedbyjustincasher
main
May 9, 202611s
Render candidates README from Reservoir manifest
completed successfully:
Python CI#19:Pull request#15synchronizebyjustincasher
justin/candidates-readme-renderer
May 9, 202614s
Render candidates README from Reservoir manifest
completed successfully:
Python CI#18:Pull request#15openedbyjustincasher
justin/candidates-readme-renderer
May 9, 202615s
Scaffold aggregator/candidates and move manifest cache out of python/…
completed successfully:
Python CI#17:Commita70b0d4pushedbyjustincasher
main
May 9, 202615s
Scaffold aggregator/candidates and move manifest cache
completed successfully:
Python CI#16:Pull request#14openedbyjustincasher
justin/candidates-scaffold
May 9, 202612s
Move per-tier pricing into review.py constant table
completed successfully:
Python CI#15:Commit65a3e90pushedbyVilin97
main
May 9, 202616s
Set gpt-5.4-mini pricing in LLM review workflow
completed successfully:
Python CI#14:Pull request#12synchronizebyVilin97
set-llm-pricing
May 9, 202617s
Add trimmed manifest type and candidates scaffold
completed successfully:
Python CI#13:Pull request#13openedbyjustincasher
justin/trimmed-manifest
May 9, 202612s
LLM review: gate on Lean CI, drop diff truncation, post token/cost
completed successfully:
Python CI#12:Commitf2b60c7pushedbyVilin97
main
May 9, 202615s
Add Reservoir manifest fetcher to aggregator subpackage (#6)
completed successfully:
Python CI#11:Commit67d6f44pushedbyjustincasher
main
May 9, 202617s

Navigation Menu

Python CI

910 workflow runs

Filter low-star rows from rendered candidates table (#25)

Filter low-star rows from rendered candidates table

Add Lean column sourced from local clones (#23)

Add Lean toolchain column to candidates table

Add aggregator clone subcommand for shallow candidate clones (#21)

Add aggregator clone subcommand for shallow candidate clones

Flush Lean quality audit files

Link header quality errors to docs

Merge remote-tracking branch 'origin/main' into ci-setup

Dedupe candidates by canonical GitHub key (#19)

Dedupe candidates by canonical GitHub key

Add manual candidate list for repos Reservoir does not index (#16)

Add manual candidate list for repos Reservoir does not index

Tighten S1: add Decision flow, structural floors, charity warning

Add manual candidate list for repos Reservoir does not index

Render candidates README from Reservoir manifest (#15)

Render candidates README from Reservoir manifest

Render candidates README from Reservoir manifest

Scaffold aggregator/candidates and move manifest cache out of python/…

Scaffold aggregator/candidates and move manifest cache

Move per-tier pricing into review.py constant table

Set gpt-5.4-mini pricing in LLM review workflow

Add trimmed manifest type and candidates scaffold

LLM review: gate on Lean CI, drop diff truncation, post token/cost

Add Reservoir manifest fetcher to aggregator subpackage (#6)

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for Python CI

910 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.