Skip to content

Actions: sparq-org/sparq

Actions

Changed-code mutation review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,192 workflow runs
1,192 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
feat(sparq-substrate): kani(sparq-substrate): bounded merge-join ≡ nested-loop referen (sq-3dyje.10) Changed-code mutation review #42: Pull request #3436 synchronize by jeswr
1m 15s sparq-agent/issue-2478-29626027962-1
sparq-agent/issue-2478-29626027962-1
1m 15s
feat(sparq-zk): zk CI: gate_count_regression (sq-c5f) runs in NO CI lane — silent baselin (sq-7pifo) Changed-code mutation review #41: Pull request #3434 synchronize by sparq-orchestrator Bot
1s sparq-agent/issue-2837-29626036747-1
sparq-agent/issue-2837-29626036747-1
1s
feat(sparq-substrate): kani(sparq-substrate): bounded merge-join ≡ nested-loop referen (sq-3dyje.10) Changed-code mutation review #40: Pull request #3436 ready_for_review by sparq-orchestrator Bot
5m 41s sparq-agent/issue-2478-29626027962-1
sparq-agent/issue-2478-29626027962-1
5m 41s
perf(sparq-reason): codify the RIF NOT-COMPARABLE verdict — W3C RIF suite pass-rate ru (sq-hmd7l.24) Changed-code mutation review #39: Pull request #3468 ready_for_review by jeswr
45s sparq-agent/issue-3109-29627223061-1
sparq-agent/issue-3109-29627223061-1
45s
feat(sparq-sim): Sim: FST lexical tier + T-box-aware signatures (v1.1) (sq-181) Changed-code mutation review #38: Pull request #3472 ready_for_review by jeswr
1m 31s sparq-agent/issue-3403-29627718532-1
sparq-agent/issue-3403-29627718532-1
1m 31s
perf(sparq-reason): codify the RIF NOT-COMPARABLE verdict — W3C RIF suite pass-rate ru (sq-hmd7l.24) Changed-code mutation review #37: Pull request #3468 ready_for_review by jeswr
46s sparq-agent/issue-3109-29627223061-1
sparq-agent/issue-3109-29627223061-1
46s
feat(sparq-sim): Sim: FST lexical tier + T-box-aware signatures (v1.1) (sq-181) Changed-code mutation review #36: Pull request #3472 ready_for_review by jeswr
1m 28s sparq-agent/issue-3403-29627718532-1
sparq-agent/issue-3403-29627718532-1
1m 28s
perf(sparq-reason): codify the RIF NOT-COMPARABLE verdict — W3C RIF suite pass-rate ru (sq-hmd7l.24) Changed-code mutation review #35: Pull request #3468 synchronize by jeswr
1s sparq-agent/issue-3109-29627223061-1
sparq-agent/issue-3109-29627223061-1
1s
feat(sparq-sim): Sim: FST lexical tier + T-box-aware signatures (v1.1) (sq-181) Changed-code mutation review #34: Pull request #3472 synchronize by jeswr
1s sparq-agent/issue-3403-29627718532-1
sparq-agent/issue-3403-29627718532-1
1s
feat(sparq-zk-compose): ZK: sparse/compressed key-set inclusion for the hidden_issuer circ (sq-r6dq) Changed-code mutation review #33: Pull request #3651 synchronize by jeswr
2m 40s sparq-agent/issue-3328-29716919940-1
sparq-agent/issue-3328-29716919940-1
2m 40s
feat(sparq-lws-core): opt-in demo playground seed (SOLID_SERVER_SEED_DEMO) for the public (sq-5ougp) Changed-code mutation review #32: Pull request #3476 synchronize by jeswr
6m 37s sparq-agent/issue-2638-29635205468-1
sparq-agent/issue-2638-29635205468-1
6m 37s
feat(sparq-zk-compose): ZK: sparse/compressed key-set inclusion for the hidden_issuer circ (sq-r6dq) Changed-code mutation review #31: Pull request #3651 synchronize by jeswr
15m 3s sparq-agent/issue-3328-29716919940-1
sparq-agent/issue-3328-29716919940-1
15m 3s
feat(sparq-zk-compose): ZK: in-circuit entailment-closure proof — prove an UNDISCLOSED ant (sq-g91d) Changed-code mutation review #30: Pull request #3628 ready_for_review by jeswr
54s sparq-agent/issue-3327-29701965559-1
sparq-agent/issue-3327-29701965559-1
54s
feat(sparq-lws-core): opt-in demo playground seed (SOLID_SERVER_SEED_DEMO) for the public (sq-5ougp) Changed-code mutation review #29: Pull request #3476 ready_for_review by jeswr
4m 5s sparq-agent/issue-2638-29635205468-1
sparq-agent/issue-2638-29635205468-1
4m 5s
feat(sparq-zk-compose): ZK: sparse/compressed key-set inclusion for the hidden_issuer circ (sq-r6dq) Changed-code mutation review #28: Pull request #3651 ready_for_review by jeswr
2m 54s sparq-agent/issue-3328-29716919940-1
sparq-agent/issue-3328-29716919940-1
2m 54s
perf(sparq-substrate): sparq-substrate: single-column join-key equality goes through an outlined ind Changed-code mutation review #27: Pull request #3679 ready_for_review by jeswr
1m 28s sparq-agent/issue-3644-29846219807-1
sparq-agent/issue-3644-29846219807-1
1m 28s
perf(sparq-core): sparq-core: NumData::lookup stays an outlined call per element inside decode_numer Changed-code mutation review #26: Pull request #3755 ready_for_review by jeswr
2m 31s sparq-agent/issue-3643-30008784114-1
sparq-agent/issue-3643-30008784114-1
2m 31s
feat(sparq-zk-compose): ZK: in-circuit entailment-closure proof — prove an UNDISCLOSED ant (sq-g91d) Changed-code mutation review #25: Pull request #3628 synchronize by jeswr
1s sparq-agent/issue-3327-29701965559-1
sparq-agent/issue-3327-29701965559-1
1s
feat(sparq-zk-compose): ZK: sparse/compressed key-set inclusion for the hidden_issuer circ (sq-r6dq) Changed-code mutation review #24: Pull request #3651 synchronize by jeswr
1s sparq-agent/issue-3328-29716919940-1
sparq-agent/issue-3328-29716919940-1
1s
feat(sparq-lws-core): opt-in demo playground seed (SOLID_SERVER_SEED_DEMO) for the public (sq-5ougp) Changed-code mutation review #23: Pull request #3476 synchronize by jeswr
Skipped sparq-agent/issue-2638-29635205468-1
sparq-agent/issue-2638-29635205468-1
Skipped
perf(sparq-substrate): sparq-substrate: single-column join-key equality goes through an outlined ind Changed-code mutation review #22: Pull request #3679 synchronize by jeswr
1s sparq-agent/issue-3644-29846219807-1
sparq-agent/issue-3644-29846219807-1
1s
perf(sparq-core): sparq-core: NumData::lookup stays an outlined call per element inside decode_numer Changed-code mutation review #21: Pull request #3755 synchronize by jeswr
1s sparq-agent/issue-3643-30008784114-1
sparq-agent/issue-3643-30008784114-1
1s
feat(sparq-sim): Sim: FST lexical tier + T-box-aware signatures (v1.1) (sq-181) Changed-code mutation review #20: Pull request #3472 ready_for_review by jeswr
1m 39s sparq-agent/issue-3403-29627718532-1
sparq-agent/issue-3403-29627718532-1
1m 39s
perf(sparq-reason): codify the RIF NOT-COMPARABLE verdict — W3C RIF suite pass-rate ru (sq-hmd7l.24) Changed-code mutation review #19: Pull request #3468 ready_for_review by jeswr
40s sparq-agent/issue-3109-29627223061-1
sparq-agent/issue-3109-29627223061-1
40s
feat(sparq-sim): Sim: FST lexical tier + T-box-aware signatures (v1.1) (sq-181) Changed-code mutation review #18: Pull request #3472 synchronize by jeswr
1s sparq-agent/issue-3403-29627718532-1
sparq-agent/issue-3403-29627718532-1
1s
ProTip! You can narrow down the results and go further in time using created:<2026-07-25 or the other filters available.