Skip to content

Actions: proofsh/proofkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,413 workflow runs
1,413 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
Handle empty FM bridge connections with fallback Publish Any Commit #1005: Commit 5dda815 pushed by eluce2
2m 42s t3code/fm-bridge-warning-fallback
t3code/fm-bridge-warning-fallback
2m 42s
skill-check Check Skills #4: Repository dispatch triggered by github-actions bot
18s
18s
Merge pull request #195 from proofgeist/codex/check-webviewer-templat… Trigger Skill Review #13: Commit e93ba31 pushed by eluce2
11s main
main
11s
Merge pull request #195 from proofgeist/codex/check-webviewer-templat… Release #277: Commit e93ba31 pushed by eluce2
1m 5s main
main
1m 5s
Merge pull request #195 from proofgeist/codex/check-webviewer-templat… Publish Any Commit #1004: Commit e93ba31 pushed by eluce2
1m 24s main
main
1m 24s
Fix CLI app name normalization and make typegen API deps optional Publish Any Commit #1003: Pull request #195 synchronize by eluce2
2m 58s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
2m 58s
Widen OData client error typing Publish Any Commit #1002: Commit 6da0c9a pushed by eluce2
3m 12s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
3m 12s
Fix CLI app name normalization and make typegen API deps optional Publish Any Commit #1001: Pull request #195 synchronize by eluce2
2m 49s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
2m 49s
Update lockfile dependency entries Publish Any Commit #1000: Commit 9a72a24 pushed by eluce2
2m 58s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
2m 58s
Fix CLI app name normalization and make typegen API deps optional Publish Any Commit #999: Pull request #195 synchronize by eluce2
22s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
22s
Handle malformed OData server URLs as adapter errors Publish Any Commit #998: Commit b2de39e pushed by eluce2
24s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
24s
Fix CLI app name normalization and make typegen API deps optional Publish Any Commit #997: Pull request #195 synchronize by eluce2
29s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
29s
Fix project name parsing for parent directories Publish Any Commit #996: Commit db11fda pushed by eluce2
31s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
31s
Fix CLI app name normalization and make typegen API deps optional Publish Any Commit #995: Pull request #195 opened by eluce2
23s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
23s
Make typegen lazily load optional API deps Publish Any Commit #994: Commit c85574f pushed by eluce2
23s codex/check-webviewer-template-fmodata
codex/check-webviewer-template-fmodata
23s
fix: normalize spaced project names Publish Any Commit #993: Pull request #193 synchronize by eluce2
1m 32s codex/cli-name-normalization
codex/cli-name-normalization
1m 32s
Drop nextjs-mantine scaffold from cli Publish Any Commit #992: Commit fe43be6 pushed by eluce2
2m 12s codex/cli-name-normalization
codex/cli-name-normalization
2m 12s
fix: normalize spaced project names Publish Any Commit #991: Pull request #193 synchronize by eluce2
2m 1s codex/cli-name-normalization
codex/cli-name-normalization
2m 1s
Normalize dot-derived CLI project names Publish Any Commit #990: Commit 4f40bfe pushed by eluce2
2m 1s codex/cli-name-normalization
codex/cli-name-normalization
2m 1s
fix: normalize spaced project names Publish Any Commit #989: Pull request #193 synchronize by eluce2
2m 43s codex/cli-name-normalization
codex/cli-name-normalization
2m 43s
Add CLAUDE init pointer and cursor ignore Publish Any Commit #988: Commit 03294e5 pushed by eluce2
2m 39s codex/cli-name-normalization
codex/cli-name-normalization
2m 39s
fix: normalize spaced project names Publish Any Commit #987: Pull request #193 opened by eluce2
1m 31s codex/cli-name-normalization
codex/cli-name-normalization
1m 31s
fix: normalize spaced names Publish Any Commit #986: Commit 9add5ca pushed by eluce2
2m 3s codex/cli-name-normalization
codex/cli-name-normalization
2m 3s
MAESTRO: add SEO fundamentals to docs site Publish Any Commit #985: Commit a024980 pushed by eluce2
2m 28s main
main
2m 28s
MAESTRO: add SEO fundamentals to docs site Release #276: Commit a024980 pushed by eluce2
1m 9s main
main
1m 9s