Skip to content

Actions: automators-com/flowproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
531 workflow runs
531 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
Merge pull request #186 from automators-com/feat/loop-constitution CI #402: Commit e4501ef pushed by AminChirazi
In progress main
main
In progress
feat(loop): a constitution the autonomous loops cannot edit CI #401: Pull request #186 opened by AminChirazi
3m 56s feat/loop-constitution
feat/loop-constitution
3m 56s
feat(loop): a constitution the autonomous loops cannot edit constitution #1: Pull request #186 opened by AminChirazi
7s feat/loop-constitution
feat/loop-constitution
7s
Merge pull request #185 from automators-com/fix/agent-replay-suite-di… CI #400: Commit 700a593 pushed by AminChirazi
54m 31s main
main
54m 31s
npx smoke test npx smoke test #3: Scheduled
30s main
main
30s
fix(agent): replay agent cassettes in directory mode, and bound the pipe drain CI #399: Pull request #185 synchronize by AminChirazi
2m 56s fix/agent-replay-suite-dispatch-and-pipe-hang
fix/agent-replay-suite-dispatch-and-pipe-hang
2m 56s
fix(agent): replay agent cassettes in directory mode, and bound the pipe drain CI #398: Pull request #185 opened by AminChirazi
3m 56s fix/agent-replay-suite-dispatch-and-pipe-hang
fix/agent-replay-suite-dispatch-and-pipe-hang
3m 56s
CI CI #397: Scheduled
1h 2m 39s main
main
1h 2m 39s
Publish to npm Publish to npm #10: Manually run by AminChirazi
16s main
main
16s
Publish to PyPI Publish to PyPI #27: Manually run by AminChirazi
8s main
main
8s
Publish to npm Publish to npm #9: Manually run by AminChirazi
7m 54s main
main
7m 54s
Publish to PyPI Publish to PyPI #26: Manually run by AminChirazi
8m 50s main
main
8m 50s
Graph Update: uv in /sdk/python #1486372317 Dependency Graph #19: by dependabot Bot
48s main
main
48s
Merge pull request #184 from automators-com/claude/flowproof-goose-ad… Rebuild website docs #61: Commit e50f975 pushed by AminChirazi
6s main
main
6s
Merge pull request #184 from automators-com/claude/flowproof-goose-ad… CI #396: Commit e50f975 pushed by AminChirazi
1h 37m 10s main
main
1h 37m 10s
0.8.0: two more third-party defects fixed, docs corrected, version bumped CI #395: Pull request #184 synchronize by AminChirazi
4m 5s claude/flowproof-goose-adoption-hiwd67
claude/flowproof-goose-adoption-hiwd67
4m 5s
0.8.0: two more third-party defects fixed, docs corrected, version bumped CI #394: Pull request #184 opened by AminChirazi
3m 58s claude/flowproof-goose-adoption-hiwd67
claude/flowproof-goose-adoption-hiwd67
3m 58s
feat(cli): flowproof doctor, a wiring check before you spend a key Rebuild website docs #60: Commit 0cd0500 pushed by AminChirazi
5s main
main
5s
feat(cli): flowproof doctor, a wiring check before you spend a key CI #393: Commit 0cd0500 pushed by AminChirazi
1h 33m 46s main
main
1h 33m 46s
docs: an adoption guide written to be handed to a coding agent CI #392: Commit 26aae0b pushed by AminChirazi
36m 44s main
main
36m 44s
docs: an adoption guide written to be handed to a coding agent Rebuild website docs #59: Commit 26aae0b pushed by AminChirazi
7s main
main
7s
npx smoke test npx smoke test #2: Scheduled
50s main
main
50s
feat(cli): flowproof doctor, a wiring check before you spend a key CI #391: Pull request #182 opened by AminChirazi
4m 24s claude/flowproof-doctor
claude/flowproof-doctor
4m 24s
docs: an adoption guide written to be handed to a coding agent CI #390: Pull request #181 opened by AminChirazi
12s claude/flowproof-adopting-guide
claude/flowproof-adopting-guide
12s
fix(mcp): stop telling adopters they never spawned a stand-in that ran CI #389: Commit 734303d pushed by AminChirazi
46m 18s main
main
46m 18s