Skip to content

Actions: proofsh/proofkit

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
256 workflow runs
256 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 #236 from proofsh/feature/fix-llms-txt Release #331: Commit 3f122f2 pushed by toddgeist
2m 6s main
main
2m 6s
Merge pull request #235 from proofsh/feature/better-llms-support Release #330: Commit 4d1c1e2 pushed by toddgeist
2m 27s main
main
2m 27s
Update page.tsx Release #329: Commit 65617f5 pushed by eluce2
2m 25s main
main
2m 25s
Merge pull request #234 from proofsh/changeset-release/main Release #328: Commit c558206 pushed by eluce2
2m 0s main
main
2m 0s
Merge pull request #233 from proofsh/feature/docs-landing-hero-header Release #327: Commit cd39d69 pushed by eluce2
2m 8s main
main
2m 8s
Merge pull request #232 from proofsh/feature/git-init-nonblocking Release #326: Commit 4c8d227 pushed by eluce2
2m 24s main
main
2m 24s
Merge pull request #231 from proofsh/changeset-release/main Release #325: Commit 7b5ea7b pushed by eluce2
4m 7s main
main
4m 7s
Release Release #324: Manually run by eluce2
3m 23s main
main
3m 23s
fix cli scaffold contract test Release #323: Commit c4bdeed pushed by eluce2
2m 20s main
main
2m 20s
Release Release #322: Manually run by eluce2
1m 20s main
main
1m 20s
Merge pull request #230 from proofsh/feature/project-menu-batch-fix Release #321: Commit 343d1e4 pushed by eluce2
1m 31s main
main
1m 31s
Remove ProofKit v2 planning docs Release #320: Commit de1df8f pushed by toddgeist
1m 58s main
main
1m 58s
Add ProofKit v2 planning docs (#228) Release #319: Commit 44e07ff pushed by toddgeist
1m 51s main
main
1m 51s
Merge pull request #227 from proofsh/fix-some-types Release #318: Commit 38c0a57 pushed by toddgeist
1m 49s main
main
1m 49s
Merge pull request #223 from proofsh/changeset-release/main Release #317: Commit 8fc403a pushed by eluce2
40s main
main
40s
Add CLI flow audit for proofsh domain Release #316: Commit 6a98233 pushed by eluce2
1m 45s main
main
1m 45s
Merge pull request #224 from proofsh/t3code/297bfd19 Release #315: Commit c773a02 pushed by eluce2
1m 56s main
main
1m 56s
Merge pull request #222 from proofsh/t3code/25abe115 Release #314: Commit bf9fc95 pushed by eluce2
2m 18s main
main
2m 18s
Merge pull request #221 from proofsh/changeset-release/main Release #313: Commit 413c2af pushed by eluce2
3m 10s main
main
3m 10s
Merge pull request #220 from proofsh/fix/fmodata-accept-header-override Release #312: Commit ced2127 pushed by eluce2
1m 50s main
main
1m 50s
Merge pull request #219 from proofsh/changeset-release/main Release #311: Commit 564c9d2 pushed by eluce2
3m 0s main
main
3m 0s
fix smoke install lockfile Release #310: Commit d466ebb pushed by eluce2
1m 55s main
main
1m 55s
fix browser typegen scaffold Release #309: Commit 63d309b pushed by eluce2
1m 14s main
main
1m 14s
Release Release #308: Manually run by eluce2
2m 14s main
main
2m 14s
fix smoke test drift Release #307: Commit 4a542e6 pushed by eluce2
1m 15s main
main
1m 15s