Skip to content

Actions: sebamar88/RunProof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
153 workflow runs
153 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
Publish npm Publish npm #41: Manually run by sebamar88
33s main
main
33s
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
RunProof v0.28.1 Publish PyPI #6: Release v0.28.1 published by sebamar88
40s
40s
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 Publish npm #40: Commit 1f57d3d pushed by sebamar88
40s v0.28.1
v0.28.1
40s
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
v0.28.0 Publish PyPI #5: Release v0.28.0 published by sebamar88
14s
14s
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… Publish npm #39: Commit deffb66 pushed by sebamar88
17s v0.28.0
v0.28.0
17s
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… Publish npm #38: Commit 47bc601 pushed by sebamar88
12s v0.28.0
v0.28.0
12s
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 Publish PyPI #4: Release v0.27.0 published by sebamar88
45s
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 Publish npm #37: Commit 4d53583 pushed by sebamar88
32s v0.27.0
v0.27.0
32s
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
v0.25.0 Publish PyPI #3: Release v0.25.0 published by sebamar88
38s
38s