Skip to content

Actions: proofsh/proofkit

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
454 workflow runs
454 workflow runs

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 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 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
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 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
Docs: add AI upgrade & persistent data guides, AgentPrompt component Release #535: Commit 8496e55 pushed by eluce2
2m 36s fm26
fm26
2m 36s
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 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
Version Packages Release #530: Pull request #294 opened by github-actions Bot
Action required changeset-release/main
changeset-release/main
Action required
Merge pull request #293 from proofsh/codex/webviewer-batching Release #529: Commit 5c9815e pushed by eluce2
1m 30s main
main
1m 30s
Add webviewer batching Release #528: Pull request #293 synchronize by eluce2
2m 56s codex/webviewer-batching
codex/webviewer-batching
2m 56s
Refine webviewer batching docs Release #527: Commit 2b628e3 pushed by eluce2
2m 57s codex/webviewer-batching
codex/webviewer-batching
2m 57s
Add webviewer batching Release #526: Pull request #293 synchronize by eluce2
2m 50s codex/webviewer-batching
codex/webviewer-batching
2m 50s
Send singleton batches when disabled Release #525: Commit e9a3c1b pushed by eluce2
2m 38s codex/webviewer-batching
codex/webviewer-batching
2m 38s
Add webviewer batching Release #524: Pull request #293 synchronize by eluce2
2m 52s codex/webviewer-batching
codex/webviewer-batching
2m 52s