Skip to content

Actions: proofsh/proofkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,769 workflow runs
1,769 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 #274 from proofsh/changeset-release/main Release #462: Commit 922925f pushed by eluce2
3m 6s main
main
3m 6s
remove docs from changeset Release #461: Commit 5624681 pushed by eluce2
2m 0s main
main
2m 0s
skill-check Check Skills #21: Repository dispatch triggered by github-actions Bot
24s
24s
Merge pull request #273 from proofsh/webviewer-commands Trigger Skill Review #30: Commit b64c6a0 pushed by eluce2
13s main
main
13s
Merge pull request #273 from proofsh/webviewer-commands Release #460: Commit b64c6a0 pushed by eluce2
2m 1s main
main
2m 1s
Add typed Web Viewer command registry Release #459: Pull request #273 synchronize by eluce2
1m 46s webviewer-commands
webviewer-commands
1m 46s
Update changeset for Web Viewer command registry Release #458: Commit 6479740 pushed by eluce2
1m 36s webviewer-commands
webviewer-commands
1m 36s
Add typed Web Viewer command registry Release #457: Pull request #273 synchronize by eluce2
3m 14s webviewer-commands
webviewer-commands
3m 14s
update docs Release #456: Commit 691ae3f pushed by eluce2
3m 9s webviewer-commands
webviewer-commands
3m 9s
Add typed Web Viewer command registry Release #455: Pull request #273 opened by eluce2
2m 58s webviewer-commands
webviewer-commands
2m 58s
Update proofkit worktree instructions Release #454: Commit efca837 pushed by eluce2
3m 5s webviewer-commands
webviewer-commands
3m 5s
Merge pull request #272 from proofsh/changeset-release/main Release #453: Commit d4fb6e8 pushed by eluce2
3m 13s main
main
3m 13s
Update repo instructions Release #452: Commit 0bdb4ae pushed by eluce2
2m 18s main
main
2m 18s
Fix no-install init post setup Release #451: Commit a3d9ca4 pushed by eluce2
2m 36s main
main
2m 36s
Fix unsupported ultracite init targets Release #450: Commit c19e10a pushed by eluce2
2m 19s main
main
2m 19s
skill-check Check Skills #20: Repository dispatch triggered by github-actions Bot
23s
23s
Merge pull request #270 from proofsh/codex/add-proofkit-token-passthr… Trigger Skill Review #29: Commit d398c35 pushed by eluce2
15s main
main
15s
Merge pull request #270 from proofsh/codex/add-proofkit-token-passthr… Release #449: Commit d398c35 pushed by eluce2
3m 11s main
main
3m 11s
Merge pull request #271 from proofsh/codex/remove-runtime-block-in-cli Release #448: Commit 0b3fbdb pushed by eluce2
1m 37s main
main
1m 37s
Remove runtime dev engine from CLI scaffolds Release #447: Pull request #271 opened by eluce2
2m 19s codex/remove-runtime-block-in-cli
codex/remove-runtime-block-in-cli
2m 19s
Loosen generated package manager version and drop runtime Release #446: Commit bbed9c8 pushed by eluce2
2m 51s codex/remove-runtime-block-in-cli
codex/remove-runtime-block-in-cli
2m 51s
Add ProofKit token passthrough to typegen Release #445: Pull request #270 opened by eluce2
3m 16s codex/add-proofkit-token-passthrough
codex/add-proofkit-token-passthrough
3m 16s
Add ProofKit token passthrough to typegen Release #444: Commit 8f78104 pushed by eluce2
3m 14s codex/add-proofkit-token-passthrough
codex/add-proofkit-token-passthrough
3m 14s
Merge pull request #269 from proofsh/changeset-release/main Release #443: Commit 72f393f pushed by eluce2
3m 11s main
main
3m 11s
Merge branch 'codex/fm-mcp-authorization-flow' Release #442: Commit e6570d4 pushed by eluce2
1m 58s main
main
1m 58s