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
Fix webviewer type test Release #553: Commit 2d0c0e8 pushed by eluce2
2m 47s main
main
2m 47s
Merge pull request #294 from proofsh/changeset-release/main Release #552: Commit 117b9b0 pushed by eluce2
3m 12s main
main
3m 12s
Version Packages Validate Skills #63: Pull request #298 opened by github-actions Bot
Action required changeset-release/main
changeset-release/main
Action required
Version Packages Release #551: Pull request #298 opened by github-actions Bot
Action required changeset-release/main
changeset-release/main
Action required
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #550: Commit 469c857 pushed by eluce2
1m 27s graphite-base/297
graphite-base/297
1m 27s
Docs: add AI upgrade & persistent data guides, AgentPrompt component … Release #549: Commit 4092be9 pushed by eluce2
3m 20s main
main
3m 20s
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
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