Skip to content
CI

benchmarks: construct an order-12 Hadamard certificate #2421

Sign in to view logs

benchmarks: construct an order-12 Hadamard certificate

benchmarks: construct an order-12 Hadamard certificate #2421

Triggered via pull request August 7, 2026 11:37
@cursorcursor[bot]
synchronize #593
agent/conjecture-hadamard-order12
Status Success
Total duration 2m 36s
Artifacts 1

ci.yml

on: pull_request
Plan CI
9s
Plan CI
Matrix: composition-test
Matrix: domain-test
Matrix: semantic-lane-test
Tests (unit, Python 3.12)
Tests (unit, Python 3.12)
Tests (process boundary, Python 3.12)
Tests (process boundary, Python 3.12)
Lean Runtime
Lean Runtime
Compatibility smoke (Python 3.13)
Compatibility smoke (Python 3.13)
Build
5s
Build
Lint & Format
5s
Lint & Format
Security Audit
7s
Security Audit
Duplicate Code Detection
3s
Duplicate Code Detection
npm Package
6s
npm Package
Deployment checks
Deployment checks
Documentation
24s
Documentation
Publish sharded test durations
0s
Publish sharded test durations
Coverage
7s
Coverage
Lean Tests
2s
Lean Tests
Python Tests
4s
Python Tests
Validate Built Package
0s
Validate Built Package
Deployment Tests
4s
Deployment Tests
CI Metrics
CI Metrics
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
ci-plan-receipt
1.26 KB
sha256:c003da7fdb83e0f3aa3247c911f2bcabc7d102758d003b60760ff6fec3a93fd9