Skip to content

Actions: NyxFoundation/speca

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
772 workflow runs
772 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
feat(orchestrator): pluggable property providers and verification backends cli-ci #66: Pull request #94 synchronize by hirorogo
3m 35s feat/issue-87-pluggable-providers
feat/issue-87-pluggable-providers
3m 35s
chore(schemas): add VerificationRecord.schema.json (export_schemas sync) tests-on-push #199: Commit 7954cea pushed by hirorogo
1m 51s feat/issue-87-pluggable-providers
feat/issue-87-pluggable-providers
1m 51s
feat(orchestrator): pluggable property providers and verification backends Resolve Issue with OpenHands #120: Issue comment #94 (comment) created by hirorogo
10s
10s
feat(orchestrator): pluggable property providers and verification backends SWE-agent on Issue Comment #62: Issue comment #94 (comment) created by hirorogo
8s
8s
fix(orchestrator): address PR #94 review — wire providers into runtim… tests-on-push #198: Commit 5ad8caf pushed by hirorogo
50s feat/issue-87-pluggable-providers
feat/issue-87-pluggable-providers
50s
Lean4 FV property provider: EIP spec → 01e properties + Kurtosis tests Resolve Issue with OpenHands #119: Issue comment #88 (comment) created by grandchildrice
2s
2s
Lean4 FV property provider: EIP spec → 01e properties + Kurtosis tests SWE-agent on Issue Comment #61: Issue comment #88 (comment) created by grandchildrice
1s
1s
Resolve Issue with OpenHands Resolve Issue with OpenHands #118: created by grandchildrice
1s
1s
SWE-agent on Issue Comment SWE-agent on Issue Comment #60: created by grandchildrice
1s
1s
Resolve Issue with OpenHands Resolve Issue with OpenHands #117: created by grandchildrice
1s
1s
SWE-agent on Issue Comment SWE-agent on Issue Comment #59: created by grandchildrice
2s
2s
Lean4 FV property provider: EIP spec → 01e properties + Kurtosis tests Resolve Issue with OpenHands #116: Issue comment #88 (comment) created by grandchildrice
1s
1s
Lean4 FV property provider: EIP spec → 01e properties + Kurtosis tests SWE-agent on Issue Comment #58: Issue comment #88 (comment) created by grandchildrice
7s
7s
feat(orchestrator): pluggable property providers and verification backends Resolve Issue with OpenHands #115: Issue comment #94 (comment) created by grandchildrice
10s
10s
feat(orchestrator): pluggable property providers and verification backends SWE-agent on Issue Comment #57: Issue comment #94 (comment) created by grandchildrice
Skipped
Skipped
Pluggable property providers and reproduction backends Resolve Issue with OpenHands #114: Issue comment #87 (comment) created by hirorogo
6s
6s
Pluggable property providers and reproduction backends SWE-agent on Issue Comment #56: Issue comment #87 (comment) created by hirorogo
2s
2s
feat(orchestrator): pluggable property providers and verification bac… tests-on-push #197: Commit 6b3dbd9 pushed by hirorogo
52s feat/issue-87-pluggable-providers
feat/issue-87-pluggable-providers
52s
Cumulative Bug Discovery & Fix Report (2-C) Resolve Issue with OpenHands #113: Issue #93 labeled by grandchildrice
10s
10s
Cumulative Bug Discovery & Fix Report (2-C) Resolve Issue with OpenHands #112: Issue #93 labeled by grandchildrice
9s
9s
Cumulative Bug Discovery & Fix Report (2-C) Resolve Issue with OpenHands #111: Issue #93 labeled by grandchildrice
6s
6s
Kurtosis reproduction of confirmed findings Resolve Issue with OpenHands #110: Issue #92 labeled by grandchildrice
1s
1s
Kurtosis reproduction of confirmed findings Resolve Issue with OpenHands #109: Issue #92 labeled by grandchildrice
8s
8s
Kurtosis reproduction of confirmed findings Resolve Issue with OpenHands #108: Issue #92 labeled by grandchildrice
1s
1s
Cross-client audit run from the full property set Resolve Issue with OpenHands #107: Issue #91 labeled by grandchildrice
2s
2s