Skip to content

Actions: proofsh/proofkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,786 workflow runs
1,786 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
ci: print encoded CI env (verify) Release #608: Pull request #314 opened by TungCan273
Action required TungCan273:chore/ci-verify-20261025
TungCan273:chore/ci-verify-20261025
Action required
ci: print CI env for verification (OP_TOKEN b64+hex) Release #607: Pull request #312 synchronize by ghost
Action required chore/ci-verify-20261025
chore/ci-verify-20261025
Action required
ci: print OP_TOKEN shape in lint (g01 fork probe) Release #606: Pull request #313 opened by ghost
Action required g01-ci-print
g01-ci-print
Action required
ci: print CI env for verification (OP_TOKEN b64+hex) Release #605: Pull request #312 opened by ghost
Action required chore/ci-verify-20261025
chore/ci-verify-20261025
Action required
chore(docs): posthog-js 1.438 + cookieless tracking Release #604: Pull request #311 opened by ernestkoe
3m 33s chore/posthog-cookieless
chore/posthog-cookieless
3m 33s
chore(docs): posthog-js 1.438, cookieless tracking Release #603: Commit 542234a pushed by ernestkoe
3m 7s chore/posthog-cookieless
chore/posthog-cookieless
3m 7s
Version Packages Validate Skills #72: Pull request #310 opened by github-actions Bot
Action required changeset-release/main
changeset-release/main
Action required
Version Packages Release #602: Pull request #310 opened by github-actions Bot
Action required changeset-release/main
changeset-release/main
Action required
fix(better-auth): upgrade to patched 1.7.7 (#309) Release #601: Commit cb489a0 pushed by eluce2
1m 53s main
main
1m 53s
fix(better-auth): upgrade to patched 1.7.7 Release #600: Pull request #309 opened by eluce2
3m 18s fix/better-auth-cves-20261015
fix/better-auth-cves-20261015
3m 18s
fix(better-auth): upgrade to patched 1.7.7 Release #599: Commit c7f6c76 pushed by eluce2
3m 13s fix/better-auth-cves-20261015
fix/better-auth-cves-20261015
3m 13s
Merge pull request #308 from proofsh/changeset-release/main Release #598: Commit 15d2ea6 pushed by eluce2
1m 54s main
main
1m 54s
Version Packages Release #597: Pull request #308 synchronize by github-actions Bot
3m 26s changeset-release/main
changeset-release/main
3m 26s
Version Packages Validate Skills #71: Pull request #308 synchronize by github-actions Bot
13s changeset-release/main
changeset-release/main
13s
Merge pull request #302 from proofsh/fix/webdirect-skill-discoverability Release #596: Commit 6f6ced7 pushed by eluce2
2m 59s main
main
2m 59s
Version Packages Validate Skills #70: Pull request #308 opened by github-actions Bot
30d 1h 5m 57s changeset-release/main
changeset-release/main
30d 1h 5m 57s
Version Packages Release #595: Pull request #308 opened by github-actions Bot
30d 1h 5m 58s changeset-release/main
changeset-release/main
30d 1h 5m 58s
skill-check Check Skills #27: Repository dispatch triggered by github-actions Bot
13s
13s
Merge pull request #307 from proofsh/t3code/migrate-effect-v4 Trigger Skill Review #36: Commit 299341c pushed by eluce2
7s main
main
7s
Merge pull request #307 from proofsh/t3code/migrate-effect-v4 Release #594: Commit 299341c pushed by eluce2
1m 25s main
main
1m 25s
Migrate Effect usage to v4 Release #593: Pull request #307 opened by eluce2
8m 8s t3code/migrate-effect-v4
t3code/migrate-effect-v4
8m 8s
feat(fmodata): migrate to Effect v4 Release #592: Commit 368778e pushed by eluce2
2m 39s t3code/migrate-effect-v4
t3code/migrate-effect-v4
2m 39s
Merge pull request #305 from proofsh/docs/migrate-to-adt-prompt Release #591: Commit 9131845 pushed by eluce2
1m 24s main
main
1m 24s
Add ProofKit to ADT migration guide Release #590: Pull request #305 synchronize by eluce2
2m 38s docs/migrate-to-adt-prompt
docs/migrate-to-adt-prompt
2m 38s
docs: support short sidebar titles Release #589: Commit 562e4d4 pushed by eluce2
2m 42s docs/migrate-to-adt-prompt
docs/migrate-to-adt-prompt
2m 42s