Skip to content

Actions: proofsh/proofkit

Actions

.github/workflows/release.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
403 workflow runs
403 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
Merge pull request #287 from proofsh/CLI-cleanup .github/workflows/release.yml #493: Commit 4e9dad0 pushed by eluce2
Failure main
main
Failure
remove public cli .github/workflows/release.yml #492: Commit 0247f6f pushed by eluce2
Failure CLI-cleanup
CLI-cleanup
Failure
Merge pull request #284 from proofsh/codex/move-proofkit-cli .github/workflows/release.yml #491: Commit 50b4e32 pushed by eluce2
1m 49s main
main
1m 49s
docs(ai): add Pi to manual MCP setup .github/workflows/release.yml #490: Pull request #285 opened by jonathan-nicoletti
Action required jonathan-nicoletti:docs/pi-mcp-setup
jonathan-nicoletti:docs/pi-mcp-setup
Action required
move cli .github/workflows/release.yml #489: Pull request #284 opened by eluce2
3m 37s codex/move-proofkit-cli
codex/move-proofkit-cli
3m 37s
move cli .github/workflows/release.yml #488: Commit 5d1fe11 pushed by eluce2
3m 33s codex/move-proofkit-cli
codex/move-proofkit-cli
3m 33s
remove preview banner .github/workflows/release.yml #487: Commit 80bb67a pushed by eluce2
3m 47s main
main
3m 47s
docs(webviewer): add Initial Props page .github/workflows/release.yml #486: Commit 5cb5d3a pushed by eluce2
3m 19s docs/webviewer-initial-props
docs/webviewer-initial-props
3m 19s
docs: update install-and-connect walkthrough video (#282) .github/workflows/release.yml #485: Commit 29a6ed2 pushed by toddgeist
2m 2s main
main
2m 2s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #484: Pull request #282 opened by toddgeist
1m 35s docs/update-install-connect-video-v2
docs/update-install-connect-video-v2
1m 35s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #483: Commit 739f0e1 pushed by toddgeist
2m 58s docs/update-install-connect-video-v2
docs/update-install-connect-video-v2
2m 58s
docs: update install-and-connect walkthrough video (#281) .github/workflows/release.yml #482: Commit 8e5a31a pushed by toddgeist
2m 4s main
main
2m 4s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #481: Pull request #281 opened by toddgeist
1m 38s docs/update-install-connect-video
docs/update-install-connect-video
1m 38s
docs: update install-and-connect walkthrough video .github/workflows/release.yml #480: Commit ab00374 pushed by toddgeist
2m 49s docs/update-install-connect-video
docs/update-install-connect-video
2m 49s
docs(webviewer): add Initial Props page (#278) .github/workflows/release.yml #479: Commit c694a8a pushed by toddgeist
2m 11s main
main
2m 11s
docs(webviewer): add Initial Props page .github/workflows/release.yml #478: Pull request #278 synchronize by toddgeist
2m 44s docs/webviewer-initial-props
docs/webviewer-initial-props
2m 44s
docs(webviewer): add "Problems you might be solving" section to initi… .github/workflows/release.yml #477: Commit e56512d pushed by toddgeist
3m 13s docs/webviewer-initial-props
docs/webviewer-initial-props
3m 13s
fix(docs): upgrade next to 16.2.6 security release + fumadocs-mdx 14.… .github/workflows/release.yml #476: Commit 035a9cb pushed by toddgeist
2m 4s main
main
2m 4s
fix(docs): upgrade next to 16.2.6 security release + fumadocs-mdx 14.2.9 .github/workflows/release.yml #475: Pull request #279 opened by toddgeist
3m 13s fix/next-16.2.6-security-upgrade
fix/next-16.2.6-security-upgrade
3m 13s
fix(docs): upgrade next to 16.2.6 security release + fumadocs-mdx 14.2.9 .github/workflows/release.yml #474: Commit 298f4f6 pushed by toddgeist
3m 40s fix/next-16.2.6-security-upgrade
fix/next-16.2.6-security-upgrade
3m 40s
docs(webviewer): add Initial Props page .github/workflows/release.yml #473: Pull request #278 opened by eluce2
2m 55s docs/webviewer-initial-props
docs/webviewer-initial-props
2m 55s
docs(webviewer): add Initial Props page .github/workflows/release.yml #472: Commit 5cb5d3a pushed by eluce2
3m 9s docs/webviewer-initial-props
docs/webviewer-initial-props
3m 9s
fix Claude link to use Claude Desktop + correct URL (#277) .github/workflows/release.yml #471: Commit ff85065 pushed by toddgeist
2m 0s main
main
2m 0s
fix: link Claude Desktop in AI getting-started docs .github/workflows/release.yml #470: Pull request #277 opened by toddgeist
2m 51s docs/claude-desktop-link
docs/claude-desktop-link
2m 51s
fix Claude link to use Claude Desktop + correct URL .github/workflows/release.yml #469: Commit 650d9ae pushed by toddgeist
3m 17s docs/claude-desktop-link
docs/claude-desktop-link
3m 17s