Skip to content

Merge pull request #217 from ProverCoderAI/docs/update-readme-bun-wor… #580

Merge pull request #217 from ProverCoderAI/docs/update-readme-bun-wor…

Merge pull request #217 from ProverCoderAI/docs/update-readme-bun-wor… #580

Triggered via push April 13, 2026 09:38
Status Success
Total duration 1m 17s
Artifacts
dist-deps-prune
1m 11s
dist-deps-prune
Fit to window
Zoom out
Zoom in