Skip to content

Actions: karan68/proofgate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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(miner): add a bounded reachability probe and align every claim w… CI #25: Commit dd8dd07 pushed by karan68
1m 3s main
main
1m 3s
fix(miner): report unread checks as names, not absence prose CI #24: Commit 93d6d6b pushed by karan68
1m 6s main
main
1m 6s
fix(miner): stop a true boolean from zeroing negative-answer questions CI #23: Commit a0c2f9c pushed by karan68
1m 11s main
main
1m 11s
fix(miner): drop false booleans and align the incident facts with the… CI #22: Commit 8209a8e pushed by karan68
1m 12s main
main
1m 12s
test(score): verify the deployed miner endpoint against the champion … CI #21: Commit 813872b pushed by karan68
1m 10s main
main
1m 10s
fix(miner): stop contradicting the URL_SCAN scorer's ground truth CI #20: Commit 4f8cce8 pushed by karan68
1m 1s main
main
1m 1s
feat(miner): answer sourced historical URL incidents CI #19: Commit 7226cf3 pushed by karan68
1m 12s main
main
1m 12s
docs: record active Miner registration 384 CI #18: Commit a801ace pushed by karan68
1m 2s main
main
1m 2s
fix(miner): declare the URL request contract CI #17: Commit 255101d pushed by karan68
1m 2s main
main
1m 2s
fix(miner): bound RDAP latency CI #16: Commit d6fa8b5 pushed by karan68
1m 6s main
main
1m 6s
fix(miner): harden URL scan edge cases CI #15: Commit 753c299 pushed by karan68
56s main
main
56s
fix(miner): accept routed URL questions CI #14: Commit b80f1c5 pushed by karan68
1m 11s main
main
1m 11s
fix(miner): identify RDAP requests CI #13: Commit 2e169a1 pushed by karan68
1m 0s main
main
1m 0s
fix(miner): expose the registered scan path CI #12: Commit 047a9e5 pushed by karan68
1m 4s main
main
1m 4s
docs: record Track 2 evaluator result CI #11: Commit 645ec82 pushed by karan68
1m 5s main
main
1m 5s
feat(wasm): add bounded semantic scoring CI #10: Commit 1307577 pushed by karan68
1m 2s main
main
1m 2s
fix: strengthen URL_SCAN semantic ordering CI #9: Commit 97c659e pushed by karan68
1m 1s main
main
1m 1s
ci: verify registered WASM before rebuilding CI #8: Commit c87e5fe pushed by karan68
57s main
main
57s
feat: add Telegraph URL_SCAN WASM scorer CI #7: Commit d1ad35a pushed by karan68
38s main
main
38s
docs: record verified Track 1 submission CI #6: Commit 05e1f24 pushed by karan68
40s main
main
40s
fix: satisfy Telegraph Miner field schema CI #5: Commit 4450182 pushed by karan68
51s main
main
51s
docs: publish complete project evidence CI #4: Commit 2d7200f pushed by karan68
59s main
main
59s
ci: generate Next.js types before tsc CI #3: Commit 50aae11 pushed by karan68
53s main
main
53s
fix: enforce intent-bound URL scanning CI #2: Commit 26abad0 pushed by karan68
25s main
main
25s
ci: verify application and MCP builds CI #1: Commit 6a592df pushed by karan68
33s main
main
33s