feat(ci): add cross-platform final build checks#279
Conversation
Adding .gitkeep for PR creation (default mode). This file will be removed when the task is complete. Issue: ProverCoderAI#278
Working session summaryDone. Updated existing PR 279 and marked it ready: Implemented:
Verified locally: Verified CI on latest SHA SOURCE: n/a. This summary was automatically extracted from the AI working session output. |
🤖 Solution Draft LogThis log file contains the complete execution trace of the AI solution draft process. 💰 Cost estimation:
📊 Context and tokens usage:
Total: (672.7K + 22.4M cached) input tokens, 61.0K output tokens, $31.863471 cost 🤖 Models used:
📎 Log file uploaded as Repository (83153KB)Now working session is ended, feel free to review and add any feedback on the solution draft. |
✅ Ready to mergeThis pull request is now ready to be merged:
Monitored by hive-mind with --auto-restart-until-mergeable flag |
|
в Final build надо ещё проверить что запускается browser |
Summary
Final BuildGitHub Actions workflow for Ubuntu, macOS, and Windows that builds both packages, smoke-tests both CLIs, and uploads package tarballs.chmodwith a Bun helper.Reproduction and Verification
packages/app/tests/docker-git/package-scripts-cross-platform.test.tsbefore implementing the script changes.25728183189:E2E (Clone cache)timed out after1800son the second cache reuse case while refreshing broadrefs/*.packages/lib/tests/core/templates.test.tsproving mirror refreshes includerefs/heads/*andrefs/tags/*but not broadrefs/*.Local Checks
bun run --cwd packages/lib test -- tests/core/templates.test.tsbun run --cwd packages/app test -- tests/docker-git/package-scripts-cross-platform.test.tsbun run buildbun run typecheckbun run lintbun run lint:effectbun run check:dist-deps-prunebun run testgit diff --checkMathematical Guarantees
Invariants
forall os in {linux, macos, windows}: final-build(os) -> build(os) and cli_help(app, os) and cli_help(session_sync, os)forall r in clone_cache_refresh_refs: r in refs/heads/* union refs/tags/*forall npm_script in checked_scripts: not contains(npm_script, "bash -lc")Preconditions
Postconditions
refs/pull/*orrefs/merge-requests/*through broadrefs/*.Complexity
O(|all remote refs|)toO(|heads| + |tags|).SOURCE: n/a
Fixes #278