Skip to content

Actions: proofsh/proofkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,874 workflow runs
1,874 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
Use PK data API script in webviewer guidance Validate Skills #62: Pull request #297 synchronize by eluce2
14s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
14s
Use PK data API script in webviewer guidance Release #548: Pull request #297 synchronize by eluce2
3m 15s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
3m 15s
Fix skill validation Release #547: Commit 9ff0722 pushed by eluce2
3m 6s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
3m 6s
Use PK data API script in webviewer guidance Validate Skills #61: Pull request #297 synchronize by eluce2
16s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
16s
Use PK data API script in webviewer guidance Release #546: Pull request #297 synchronize by eluce2
4m 0s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
4m 0s
Use PK data API script in webviewer guidance Release #545: Pull request #297 synchronize by eluce2
2m 42s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
2m 42s
Use PK data API script in webviewer guidance Validate Skills #60: Pull request #297 synchronize by eluce2
10s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
10s
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #544: Commit 469c857 pushed by eluce2
2m 35s graphite-base/297
graphite-base/297
2m 35s
Use PK data API script in webviewer guidance Release #543: Commit 9753135 pushed by eluce2
2m 49s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
2m 49s
Add fallback config paths for typegen CLI (#295) Release #542: Commit b4a85ef pushed by eluce2
1m 14s graphite-base/297
graphite-base/297
1m 14s
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #541: Pull request #296 synchronize by eluce2
2m 53s fm26
fm26
2m 53s
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #540: Commit 469c857 pushed by eluce2
2m 40s fm26
fm26
2m 40s
Use PK data API script in webviewer guidance Validate Skills #59: Pull request #297 opened by eluce2
13s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
13s
Use PK data API script in webviewer guidance Release #539: Pull request #297 opened by eluce2
3m 9s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
3m 9s
Use PK data API script in webviewer guidance Release #538: Commit b52c74d pushed by eluce2
2m 11s fix/pk-data-api-script-guidance
fix/pk-data-api-script-guidance
2m 11s
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #537: Pull request #296 opened by eluce2
2m 53s fm26
fm26
2m 53s
Version Packages Release #536: Pull request #294 synchronize by github-actions Bot
Action required changeset-release/main
changeset-release/main
Action required
Version Packages Validate Skills #58: Pull request #294 synchronize by github-actions Bot
Action required changeset-release/main
changeset-release/main
Action required
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #535: Commit 8496e55 pushed by eluce2
2m 36s fm26
fm26
2m 36s
skill-check Check Skills #24: Repository dispatch triggered by github-actions Bot
13s
13s
Add fallback config paths for typegen CLI (#295) Release #534: Commit b4a85ef pushed by eluce2
1m 15s main
main
1m 15s
Add fallback config paths for typegen CLI (#295) Trigger Skill Review #33: Commit b4a85ef pushed by eluce2
9s main
main
9s
Add fallback config paths for typegen CLI Release #533: Pull request #295 opened by eluce2
2m 45s codex/add-typegen-config-paths
codex/add-typegen-config-paths
2m 45s
Support more typegen config names Release #532: Commit 04a3edf pushed by eluce2
3m 4s codex/add-typegen-config-paths
codex/add-typegen-config-paths
3m 4s
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #531: Commit f061bdd pushed by eluce2
3m 20s fm26
fm26
3m 20s