Skip to content

Actions: AlexTavor/proof-driven-development

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
363 workflow runs
363 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
docs: post-mortem, and what the experiment actually paid for pdd gates #363: Commit 1992eb7 pushed by AlexTavor
2m 20s main
main
2m 20s
Merge pull request #157 from AlexTavor/pdd/readme-firstpass pdd gates #362: Commit 341b099 pushed by AlexTavor
4m 24s main
main
4m 24s
docs(readme): sharpen the first impression for a public reader pdd gates #361: Pull request #157 opened by AlexTavor
4m 31s pdd/readme-firstpass
pdd/readme-firstpass
4m 31s
Merge pull request #156 from AlexTavor/pdd/carve-ref-cleanup pdd gates #360: Commit 221bec2 pushed by AlexTavor
4m 27s main
main
4m 27s
docs: drop dead carve-ranking-defect.md references pdd gates #359: Pull request #156 opened by AlexTavor
4m 34s pdd/carve-ref-cleanup
pdd/carve-ref-cleanup
4m 34s
Merge pull request #155 from AlexTavor/pdd/prepublish-polish pdd gates #358: Commit dfe692e pushed by AlexTavor
4m 13s main
main
4m 13s
docs: pre-publication polish (gate count + package metadata) pdd gates #357: Pull request #155 opened by AlexTavor
4m 36s pdd/prepublish-polish
pdd/prepublish-polish
4m 36s
Merge pull request #154 from AlexTavor/pdd/reconcile-readme-overclaim pdd gates #356: Commit 9250f7f pushed by AlexTavor
4m 27s main
main
4m 27s
docs(readme): correct the Cave prove claim to the committed artifact pdd gates #355: Pull request #154 opened by AlexTavor
4m 32s pdd/reconcile-readme-overclaim
pdd/reconcile-readme-overclaim
4m 32s
Merge pull request #153 from AlexTavor/pdd/explorer-impact pdd gates #354: Commit 35acefb pushed by AlexTavor
4m 38s main
main
4m 38s
Merge pull request #146 from AlexTavor/pdd/plugin-seams pdd gates #353: Commit 63067d9 pushed by AlexTavor
4m 23s main
main
4m 23s
feat(explorer): import-graph impact channel (re-target to main) pdd gates #352: Pull request #153 opened by AlexTavor
4m 24s pdd/explorer-impact
pdd/explorer-impact
4m 24s
Merge pull request #151 from AlexTavor/pdd/explorer-gates pdd gates #351: Commit cc106c8 pushed by AlexTavor
4m 24s main
main
4m 24s
feat(explorer): import-graph impact as a color/size channel pdd gates #350: Pull request #152 synchronize by AlexTavor
4m 17s pdd/explorer-impact
pdd/explorer-impact
4m 17s
feat(explorer): import-graph impact as a color/size channel pdd gates #349: Pull request #152 opened by AlexTavor
4m 22s pdd/explorer-impact
pdd/explorer-impact
4m 22s
feat(explorer): every gate as a filterable facet (full weakness picture) pdd gates #348: Pull request #151 opened by AlexTavor
4m 29s pdd/explorer-gates
pdd/explorer-gates
4m 29s
Merge pull request #150 from AlexTavor/pdd/explorer-report pdd gates #347: Commit bad453f pushed by AlexTavor
3m 33s main
main
3m 33s
feat(explorer): metrics-report view, linked to the explorer pdd gates #346: Pull request #150 opened by AlexTavor
4m 19s pdd/explorer-report
pdd/explorer-report
4m 19s
Merge pull request #149 from AlexTavor/pdd/explorer-view pdd gates #345: Commit 4587c36 pushed by AlexTavor
4m 20s main
main
4m 20s
feat(explorer): weakness-explorer view in the operation dashboard (PR2/2) pdd gates #344: Pull request #149 opened by AlexTavor
4m 11s pdd/explorer-view
pdd/explorer-view
4m 11s
Merge pull request #148 from AlexTavor/pdd/explorer-data pdd gates #343: Commit 61c3eb7 pushed by AlexTavor
4m 29s main
main
4m 29s
feat(explorer): serve weakness-explorer data via GET /api/explorer (PR1/2) pdd gates #342: Pull request #148 opened by AlexTavor
4m 26s pdd/explorer-data
pdd/explorer-data
4m 26s
Plugin architecture: the invocation seam (manifest + envelope + discovery), proven byte-identical on the gate kind pdd gates #341: Pull request #146 synchronize by AlexTavor
4m 26s pdd/plugin-seams
pdd/plugin-seams
4m 26s
Plugin architecture: the invocation seam (manifest + envelope + discovery), proven byte-identical on the gate kind pdd gates #340: Pull request #146 synchronize by AlexTavor
4m 30s pdd/plugin-seams
pdd/plugin-seams
4m 30s
Merge pull request #147 from AlexTavor/pdd/pipeline-fixes pdd gates #339: Commit 0fd3762 pushed by AlexTavor
4m 23s main
main
4m 23s