Python CI

python_ci.yml

879 workflow runs

Merge pull request #114 from Vilin97/codex/partial-port-audit-truncat…
completed successfully:
Python CI#79:Commit6c0cacbpushedbyVilin97
main
May 20, 202618s
Flag truncated files in partial-port audit
completed successfully:
Python CI#78:Pull request#114openedbyVilin97
codex/partial-port-audit-truncated-files
May 20, 202615s
Exclude dependents of unimportable upstream files
failed:
Python CI#77:Commit42da27apushedbyVilin97
main
May 19, 202618s
Ignore unimportable upstream files in partial audit
completed successfully:
Python CI#76:Commit846e7f2pushedbyVilin97
main
May 19, 202615s
Add deterministic partial-port audit
completed successfully:
Python CI#75:Pull request#111openedbyVilin97
codex/partial-port-audit
May 19, 202614s
Fall back to per-file patches when PR diff exceeds 20k lines
completed successfully:
Python CI#74:Commitbd55ca1pushedbyVilin97
main
May 19, 202617s
[codex] Add deterministic partial-port audit (#110)
completed successfully:
Python CI#73:Commit14535cdpushedbyVilin97
main
May 19, 202618s
[codex] Add deterministic partial-port audit
completed successfully:
Python CI#72:Pull request#110synchronizebyVilin97
codex/partial-port-audit
May 18, 202615s
[codex] Add deterministic partial-port audit
completed successfully:
Python CI#71:Pull request#110synchronizebyVilin97
codex/partial-port-audit
May 18, 202614s
[codex] Add deterministic partial-port audit
failed:
Python CI#70:Pull request#110openedbyVilin97
codex/partial-port-audit
May 18, 202619s
Forbid Lean linter waivers
completed successfully:
Python CI#69:Commit92b6ddcpushedbyVilin97
main
May 17, 202616s
Add project metadata checks and doc-gen4 build
completed successfully:
Python CI#68:Commit1ff3c0dpushedbyVilin97
main
May 11, 202617s
quality.py: place project card after imports; strip stale duplicates
completed successfully:
Python CI#67:Commit6e46cdbpushedbyVilin97
main
May 10, 202615s
Align docs and PR review workflows
completed successfully:
Python CI#66:Commitd9c6635pushedbyVilin97
main
May 10, 202615s
Add In Pool column to candidates table (#44)
completed successfully:
Python CI#65:Commit032a1dcpushedbyjustincasher
main
May 10, 202614s
Add In Pool column to candidates table
completed successfully:
Python CI#64:Pull request#44synchronizebyjustincasher
justin/candidates-in-pool-column
May 10, 202616s
Add In Pool column to candidates table
completed successfully:
Python CI#63:Pull request#44openedbyjustincasher
justin/candidates-in-pool-column
May 10, 202611s
Import erdos1196 formalization
completed successfully:
Python CI#62:Pull request#36openedbyVilin97
import/erdos1196
May 10, 202618s
quality.py declaration-name fixes + proof-profile own workflow (#35)
completed successfully:
Python CI#61:Commit882f079pushedbyVilin97
main
May 10, 202620s
quality.py declaration-name fixes + proof-profile own workflow
completed successfully:
Python CI#60:Pull request#35openedbyVilin97
ci/declaration-names-and-profile-workflow
May 10, 202612s
Forbid changing CI/quality gates without an explicit request
completed successfully:
Python CI#59:Commit8e54ff9pushedbyVilin97
main
May 10, 202618s
Raise proof-body size cap to 200 lines
completed successfully:
Python CI#58:Commit03f4ae0pushedbyVilin97
main
May 10, 202612s
Python CI
completed successfully:
Python CI#57:Manually runbyVilin97
codex/formal-learning-theory-pr36
May 10, 202615s
CI: warnings non-fatal in build; allow set_option linter.* suppressions
completed successfully:
Python CI#56:Commitc0adc0fpushedbyVilin97
main
May 10, 202612s
Move candidates dir to repo root (#32)
completed successfully:
Python CI#55:Commit3398274pushedbyjustincasher
main
May 10, 202617s

Navigation Menu

Python CI

879 workflow runs

Merge pull request #114 from Vilin97/codex/partial-port-audit-truncat…

Flag truncated files in partial-port audit

Exclude dependents of unimportable upstream files

Ignore unimportable upstream files in partial audit

Add deterministic partial-port audit

Fall back to per-file patches when PR diff exceeds 20k lines

[codex] Add deterministic partial-port audit (#110)

[codex] Add deterministic partial-port audit

[codex] Add deterministic partial-port audit

[codex] Add deterministic partial-port audit

Forbid Lean linter waivers

Add project metadata checks and doc-gen4 build

quality.py: place project card after imports; strip stale duplicates

Align docs and PR review workflows

Add In Pool column to candidates table (#44)

Add In Pool column to candidates table

Add In Pool column to candidates table

Import erdos1196 formalization

quality.py declaration-name fixes + proof-profile own workflow (#35)

quality.py declaration-name fixes + proof-profile own workflow

Forbid changing CI/quality gates without an explicit request

Raise proof-body size cap to 200 lines

Python CI

CI: warnings non-fatal in build; allow set_option linter.* suppressions

Move candidates dir to repo root (#32)

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

879 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.