Skip to content

Actions: sebamar88/RunProof

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
106 workflow runs
106 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
fix(package): add repository and author fields CI #106: Commit dc28b7d pushed by sebamar88
1m 5s main
main
1m 5s
Merge pull request #1 from sebamar88/codex/create-demo-folder-in-repo CI #105: Commit 587c74a pushed by sebamar88
52s main
main
52s
Add demo that showcases RunProof verification workflow with broken app and run scripts CI #104: Pull request #1 opened by sebamar88
59s codex/create-demo-folder-in-repo
codex/create-demo-folder-in-repo
59s
Use normal RunProof workflow in demo CI #103: Commit ca69ca9 pushed by sebamar88
1m 15s codex/create-demo-folder-in-repo
codex/create-demo-folder-in-repo
1m 15s
Ship RunProof 0.28.1 without legacy npm baggage CI #102: Commit 1f57d3d pushed by sebamar88
1m 4s codex/create-demo-folder-in-repo
codex/create-demo-folder-in-repo
1m 4s
Ship RunProof 0.28.1 without legacy npm baggage CI #101: Commit 1f57d3d pushed by sebamar88
56s main
main
56s
Ship RunProof 0.28.1 without legacy npm baggage CI #100: Commit 1f57d3d pushed by sebamar88
1m 54s v0.28.1
v0.28.1
1m 54s
fix: update release_check.py, sdd.py, and CI to use runproof package … CI #99: Commit d7cd365 pushed by sebamar88
53s main
main
53s
chore(release): v0.28.0 — RunProof rebranding + slash commands + agen… CI #98: Commit deffb66 pushed by sebamar88
22s v0.28.0
v0.28.0
22s
chore(release): v0.28.0 — RunProof rebranding + slash commands + agen… CI #97: Commit deffb66 pushed by sebamar88
38s main
main
38s
chore(release): v0.28.0 — RunProof rebranding + slash commands + agen… CI #96: Commit 47bc601 pushed by sebamar88
1m 5s v0.28.0
v0.28.0
1m 5s
chore(release): v0.28.0 — RunProof rebranding + slash commands + agen… CI #95: Commit 47bc601 pushed by sebamar88
25s main
main
25s
Update README.md CI #94: Commit 531ff63 pushed by sebamar88
1m 45s main
main
1m 45s
v0.27.0 — didactic CLI help on every command error CI #93: Commit 4d53583 pushed by sebamar88
1m 9s v0.27.0
v0.27.0
1m 9s
v0.27.0 — didactic CLI help on every command error CI #92: Commit 4d53583 pushed by sebamar88
56s main
main
56s
chore(adapter): update state location to proofkit CI #91: Commit be2dab5 pushed by sebamar88
53s main
main
53s
chore(release): update version to 0.25.0 and paths to .proofkit CI #90: Commit 409e881 pushed by sebamar88
59s v0.25.0
v0.25.0
59s
chore(release): update version to 0.25.0 and paths to .proofkit CI #89: Commit 409e881 pushed by sebamar88
1m 6s main
main
1m 6s
refactor(release_check): update paths from .sdd to .proofkit CI #88: Commit e3cf112 pushed by sebamar88
53s main
main
53s
refactor(tests): update paths from .sdd to .proofkit CI #87: Commit d9424c0 pushed by sebamar88
1m 1s main
main
1m 1s
feat(protocol): add initial SDD-Core protocol file CI #86: Commit e5a9d75 pushed by sebamar88
27s main
main
27s
Document PyPI install and Notion user guide CI #85: Commit 8b0b92d pushed by sebamar88
1m 22s main
main
1m 22s
Add PyPI trusted publishing workflow CI #84: Commit cd0b018 pushed by sebamar88
1m 36s main
main
1m 36s
Handle Windows cp1252 console output CI #83: Commit 5cada7f pushed by sebamar88
56s main
main
56s
Fix Python 3.11 f-string compatibility CI #82: Commit 7a830d3 pushed by sebamar88
31s main
main
31s