Skip to content

Actions: NyxFoundation/speca

Actions

01e. Properties (lean provider)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
01e-properties-lean.yml
19 workflow runs
19 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
chore: bump lean plugin pin to v0.1.1 (--run-lean stdout fix) — blocked on plugin#20 01e. Properties (lean provider) #19: Pull request #141 synchronize by sururu-k
1m 3s chore/lean-plugin-pin-v0.1.1
chore/lean-plugin-pin-v0.1.1
1m 3s
chore: bump lean plugin pin to v0.1.1 (--run-lean stdout fix) — blocked on plugin#20 01e. Properties (lean provider) #18: Pull request #141 synchronize by sururu-k
58s chore/lean-plugin-pin-v0.1.1
chore/lean-plugin-pin-v0.1.1
58s
chore: bump lean plugin pin to v0.1.1 (--run-lean stdout fix) — blocked on plugin#20 01e. Properties (lean provider) #17: Pull request #141 opened by sururu-k
1m 3s chore/lean-plugin-pin-v0.1.1
chore/lean-plugin-pin-v0.1.1
1m 3s
01e. Properties (lean provider) 01e. Properties (lean provider) #16: Manually run by sururu-k
7m 6s main
main
7m 6s
ci(lean-smoke): shell: bash on the pilot-test step (guarantee pipefail) 01e. Properties (lean provider) #15: Pull request #140 opened by sururu-k
1m 16s ci/lean-smoke-pilot-shell-bash
ci/lean-smoke-pilot-shell-bash
1m 16s
ci(lean): add shell: bash to the pilot-tests step (#88/#135 follow-up) 01e. Properties (lean provider) #14: Pull request #139 opened by sururu-k
1m 10s ci/lean-pilot-shell-bash
ci/lean-pilot-shell-bash
1m 10s
01e. Properties (lean provider) 01e. Properties (lean provider) #13: Manually run by sururu-k
7m 8s main
main
7m 8s
feat(providers): operative plugin version pins + pre-seam-anchored default-path identity guard (#87 Tasks 6/8) 01e. Properties (lean provider) #12: Pull request #137 opened by sururu-k
1m 9s feat/issue-87-operative-pins
feat/issue-87-operative-pins
1m 9s
fix(orchestrator): carry lean provenance fields (lean_status/lean_artifact/kurtosis_test) through 02c/03/04 01e. Properties (lean provider) #11: Pull request #136 opened by sururu-k
1m 2s fix/issue-88-additive-passthrough
fix/issue-88-additive-passthrough
1m 2s
feat(01e): Kurtosis fixture emission, lean-direction doc, pilot tests (#88 Tasks 5/7/8) 01e. Properties (lean provider) #10: Pull request #135 opened by sururu-k
1m 9s feat/issue-88-lean-kurtosis-fixtures
feat/issue-88-lean-kurtosis-fixtures
1m 9s
feat(orchestrator): Phase 05 finding critique with pluggable external search (#53) 01e. Properties (lean provider) #9: Pull request #131 opened by sururu-k
1m 1s feat/phase05-finding-critique
feat/phase05-finding-critique
1m 1s
orchestrator: claude_pty runtime — drive interactive claude via pty as -p paywall insurance (#80) 01e. Properties (lean provider) #8: Pull request #130 opened by sururu-k
1m 0s feat/claude-pty-runtime-80
feat/claude-pty-runtime-80
1m 0s
01e: lean provider follow-ups round 2 — probe containment, race/absence tolerance, #87(b) golden fixture 01e. Properties (lean provider) #7: Pull request #127 opened by sururu-k
1m 2s feat/lean-provider-followups-2
feat/lean-provider-followups-2
1m 2s
01e. Properties (lean provider) 01e. Properties (lean provider) #6: Manually run by sururu-k
1m 5s feat/lean-provider-followups
feat/lean-provider-followups
1m 5s
01e: lean provider follow-ups — enforce version pin, CI injection/path-filter fixes, clone hardening 01e. Properties (lean provider) #5: Pull request #119 opened by sururu-k
58s feat/lean-provider-followups
feat/lean-provider-followups
58s
01e. Properties (lean provider) 01e. Properties (lean provider) #4: Manually run by sururu-k
1m 3s feat/lean-provider-v0.1.0
feat/lean-provider-v0.1.0
1m 3s
01e: wire the lean property provider to speca-lean4-plugin v0.1.0 (+ provider:lean CI smoke) 01e. Properties (lean provider) #3: Pull request #115 synchronize by sururu-k
1m 1s feat/lean-provider-v0.1.0
feat/lean-provider-v0.1.0
1m 1s
01e. Properties (lean provider) 01e. Properties (lean provider) #2: Manually run by sururu-k
50s feat/lean-provider-v0.1.0
feat/lean-provider-v0.1.0
50s
01e: wire the lean property provider to speca-lean4-plugin v0.1.0 (+ provider:lean CI smoke) 01e. Properties (lean provider) #1: Pull request #115 synchronize by sururu-k
47s feat/lean-provider-v0.1.0
feat/lean-provider-v0.1.0
47s