Skip to content

Actions: proofsh/proofkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,878 workflow runs
1,878 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
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
simplify changesets Release #441: Commit b44af05 pushed by eluce2
1m 31s codex/fm-mcp-authorization-flow
codex/fm-mcp-authorization-flow
1m 31s
Validate and repair missing Rolldown native deps during webviewer scaffold Release #440: Pull request #268 synchronize by eluce2
3m 22s codex/fix-scaffold-native-deps
codex/fix-scaffold-native-deps
3m 22s
Fix proofkit CI workflow Release #439: Commit 375b748 pushed by eluce2
2m 49s codex/fix-scaffold-native-deps
codex/fix-scaffold-native-deps
2m 49s
skill-check Check Skills #19: Repository dispatch triggered by github-actions Bot
11s
11s
Merge pull request #267 from proofsh/codex/fm-mcp-authorization-flow Release #438: Commit 68a7b1c pushed by eluce2
2m 1s main
main
2m 1s
Merge pull request #267 from proofsh/codex/fm-mcp-authorization-flow Trigger Skill Review #28: Commit 68a7b1c pushed by eluce2
10s main
main
10s
Validate and repair missing Rolldown native deps during webviewer scaffold Release #437: Pull request #268 synchronize by eluce2
3m 31s codex/fix-scaffold-native-deps
codex/fix-scaffold-native-deps
3m 31s
Update proofkit docs and config Release #436: Commit 8b54a24 pushed by eluce2
3m 26s codex/fix-scaffold-native-deps
codex/fix-scaffold-native-deps
3m 26s
Validate and repair missing Rolldown native deps during webviewer scaffold Release #435: Pull request #268 opened by eluce2
1m 12s codex/fix-scaffold-native-deps
codex/fix-scaffold-native-deps
1m 12s
Repair pnpm webviewer installs before success Release #434: Commit d394242 pushed by eluce2
1m 14s codex/fix-scaffold-native-deps
codex/fix-scaffold-native-deps
1m 14s