Skip to content

Actions: proofsh/proofkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,810 workflow runs
1,810 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
Merge pull request #287 from proofsh/CLI-cleanup .github/workflows/release.yml #493: Commit 4e9dad0 pushed by eluce2
Failure main
main
Failure
remove public cli .github/workflows/release.yml #492: Commit 0247f6f pushed by eluce2
Failure CLI-cleanup
CLI-cleanup
Failure
Merge pull request #284 from proofsh/codex/move-proofkit-cli .github/workflows/release.yml #491: Commit 50b4e32 pushed by eluce2
1m 49s main
main
1m 49s
docs(ai): add Pi to manual MCP setup .github/workflows/release.yml #490: Pull request #285 opened by jonathan-nicoletti
Action required jonathan-nicoletti:docs/pi-mcp-setup
jonathan-nicoletti:docs/pi-mcp-setup
Action required
move cli .github/workflows/release.yml #489: Pull request #284 opened by eluce2
3m 37s codex/move-proofkit-cli
codex/move-proofkit-cli
3m 37s
move cli .github/workflows/release.yml #488: Commit 5d1fe11 pushed by eluce2
3m 33s codex/move-proofkit-cli
codex/move-proofkit-cli
3m 33s
remove preview banner .github/workflows/release.yml #487: Commit 80bb67a pushed by eluce2
3m 47s main
main
3m 47s
Enhance FileMakerOData with new TableDefinition and RecordBuilder cla… Publish Any Commit #1301: Commit 278ea06 pushed by eluce2
2m 40s refactor-table-relations-i9bUQ
refactor-table-relations-i9bUQ
2m 40s
Enhance FileMakerOData with new TableDefinition and RecordBuilder cla… Publish Any Commit #1300: Commit 278ea06 pushed by eluce2
2m 45s refactor-table-relations-DI5P5
refactor-table-relations-DI5P5
2m 45s
Merge main, resolve conflicts Publish Any Commit #1299: Commit a3dcb04 pushed by eluce2
1m 0s cursor/better-auth-type-errors-d272
cursor/better-auth-type-errors-d272
1m 0s
Add direct wrapper tests for create-proofkit Publish Any Commit #1298: Commit 5a8999c pushed by eluce2
2m 37s codex/review-new-tests-pre-graphite-fix
codex/review-new-tests-pre-graphite-fix
2m 37s
Expand @proofkit/new init parity Publish Any Commit #1297: Commit 4fcf24c pushed by eluce2
14s codex/proofkit-new-scaffold-pre-restack
codex/proofkit-new-scaffold-pre-restack
14s
Remove stray yarn config artifact Publish Any Commit #1296: Commit e698d17 pushed by eluce2
3m 10s codex/proofkit-new-scaffold-backup
codex/proofkit-new-scaffold-backup
3m 10s
fix(cli): treat existing .gitignore as meaningful scaffold content Publish Any Commit #1295: Commit c2f3867 pushed by eluce2
3m 18s codex/new-scaffold-package
codex/new-scaffold-package
3m 18s
fix(cli): treat existing .gitignore as meaningful scaffold content Publish Any Commit #1294: Commit c2f3867 pushed by eluce2
2m 57s codex/cli-with-effect
codex/cli-with-effect
2m 57s
Enhance FileMakerOData with new TableDefinition and RecordBuilder cla… Publish Any Commit #1293: Commit 278ea06 pushed by eluce2
1m 42s 2025-10-30-x0co-Ko7xo
2025-10-30-x0co-Ko7xo
1m 42s
Enhance FileMakerOData with new TableDefinition and RecordBuilder cla… Publish Any Commit #1292: Commit 278ea06 pushed by eluce2
2m 50s 2025-10-30-f34s-3rHIO
2025-10-30-f34s-3rHIO
2m 50s
self-healing fectch for tests Publish Any Commit #1291: Commit 649d71a pushed by eluce2
1m 8s 01-07-self-healing_fectch_for_tests
01-07-self-healing_fectch_for_tests
1m 8s
docs(webviewer): add Initial Props page .github/workflows/release.yml #486: Commit 5cb5d3a pushed by eluce2
3m 19s docs/webviewer-initial-props
docs/webviewer-initial-props
3m 19s
docs: update install-and-connect walkthrough video (#282) .github/workflows/release.yml #485: Commit 29a6ed2 pushed by toddgeist
2m 2s main
main
2m 2s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #484: Pull request #282 opened by toddgeist
1m 35s docs/update-install-connect-video-v2
docs/update-install-connect-video-v2
1m 35s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #483: Commit 739f0e1 pushed by toddgeist
2m 58s docs/update-install-connect-video-v2
docs/update-install-connect-video-v2
2m 58s
docs: update install-and-connect walkthrough video (#281) .github/workflows/release.yml #482: Commit 8e5a31a pushed by toddgeist
2m 4s main
main
2m 4s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #481: Pull request #281 opened by toddgeist
1m 38s docs/update-install-connect-video
docs/update-install-connect-video
1m 38s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #480: Commit ab00374 pushed by toddgeist
2m 49s docs/update-install-connect-video
docs/update-install-connect-video
2m 49s