Skip to content

Actions: FixProve/fixprove

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: fold independent field-verification findings into Session 4.30 … CI #93: Commit b3beedc pushed by yehorcallmedai-maker
53s main
main
53s
docs: close Session 4.30 - KS-REPORT-4.30, PROGRESS.md backfill+entry… CI #92: Commit 3c42c71 pushed by yehorcallmedai-maker
58s main
main
58s
docs: sync priority tracker with tonight's session 4.30 findings CI #91: Commit 7b7e1f8 pushed by yehorcallmedai-maker
43s main
main
43s
docs: add standing browser-based maintenance protocol CI #90: Commit 6ff5f16 pushed by yehorcallmedai-maker
53s main
main
53s
fix(web): guard the empty video-intro section against a future deploy CI #89: Commit 8590dc3 pushed by yehorcallmedai-maker
53s main
main
53s
fix(engine): resolve export-prefixed namespace members (real @types/r… CI #88: Commit aaafaeb pushed by yehorcallmedai-maker
1m 1s main
main
1m 1s
fix(engine): handle UTF-8 BOM in package.json and requirements.txt reads CI #87: Commit d55c20a pushed by yehorcallmedai-maker
54s main
main
54s
Bump to 0.1.16 for the orphaned-source-file crash fix + vitest disclo… Release #18: Commit 98930e2 pushed by yehorcallmedai-maker
2m 15s v0.1.16
v0.1.16
2m 15s
Bump to 0.1.16 for the orphaned-source-file crash fix + vitest disclo… CI #86: Commit 98930e2 pushed by yehorcallmedai-maker
53s main
main
53s
chore: redact third-party email, untrack legal self-assessment PDF, CI #85: Commit 1592025 pushed by yehorcallmedai-maker
54s main
main
54s
Amend NEXT-SESSION-4.30: correct point 9's commit-message hygiene note CI #84: Commit 8f7c1a3 pushed by yehorcallmedai-maker
54s main
main
54s
Session 4.29 close: KS-Report and next-session starting prompt CI #83: Commit fe2939c pushed by yehorcallmedai-maker
53s main
main
53s
Fix orphaned-source-file hard-crash; document vitest re-export false… CI #82: Commit a9bba99 pushed by yehorcallmedai-maker
58s main
main
58s
Bump to 0.1.15 for a clean release including the pip --version fix Release #17: Commit f575c6d pushed by yehorcallmedai-maker
2m 8s v0.1.15
v0.1.15
2m 8s
Bump to 0.1.15 for a clean release including the pip --version fix CI #81: Commit f575c6d pushed by yehorcallmedai-maker
48s main
main
48s
fix test_cli_version.py: compare against _get_installed_version(), no… CI #80: Commit 08e45a5 pushed by yehorcallmedai-maker
56s main
main
56s
pip CLI: add --version reading installed package metadata (mirrors np… CI #79: Commit 4bc0465 pushed by yehorcallmedai-maker
55s main
main
55s
Bump to 0.1.14 for a clean synchronized release Release #16: Commit e326904 pushed by yehorcallmedai-maker
7m 8s v0.1.14
v0.1.14
7m 8s
Bump to 0.1.14 for a clean synchronized release CI #78: Commit e326904 pushed by yehorcallmedai-maker
57s main
main
57s
Video demo section, CSS fix, P0 CLI fixes verified, 0.1.14 bump, trac… CI #77: Commit cbb09ce pushed by yehorcallmedai-maker
52s main
main
52s
docs: Session 4.27 close -- KS-Report, session log, index, next-sessi… Release #15: Commit fd84b23 pushed by yehorcallmedai-maker
2m 21s v0.1.14
v0.1.14
2m 21s
docs: Session 4.27 close -- KS-Report, session log, index, next-sessi… CI #76: Commit fd84b23 pushed by yehorcallmedai-maker
1m 0s main
main
1m 0s
docs: KS-Report addendum 1 -- draft branch push confirmed, correct ne… CI #75: Commit 35fd148 pushed by yehorcallmedai-maker
55s main
main
55s
docs: KS-Report addendum 2 -- push confirmed, CA-5 job-level check pa… CI #74: Commit b6a826d pushed by yehorcallmedai-maker
43s main
main
43s
docs: record Yehor's accountability signature (Session 4.25), final h… CI #73: Commit e1d6093 pushed by yehorcallmedai-maker
1m 0s main
main
1m 0s