Skip to content

Delegate certified SNF and finite-field reduction to SymPy (#616) #2311

Delegate certified SNF and finite-field reduction to SymPy (#616)

Delegate certified SNF and finite-field reduction to SymPy (#616) #2311

Triggered via push August 7, 2026 08:52
Status Success
Total duration 13m 28s
Artifacts 36

ci.yml

on: push
Matrix: composition-test
Matrix: domain-test
Matrix: semantic-lane-test
Tests (unit, Python 3.12)
1m 6s
Tests (unit, Python 3.12)
Tests (process boundary, Python 3.12)
58s
Tests (process boundary, Python 3.12)
Compatibility smoke (Python 3.13)
16s
Compatibility smoke (Python 3.13)
Lint & Format
33s
Lint & Format
Security Audit
15s
Security Audit
Duplicate Code Detection
11s
Duplicate Code Detection
npm Package
15s
npm Package
Deployment checks
19s
Deployment checks
Documentation
26s
Documentation
Publish sharded test durations
7s
Publish sharded test durations
Lean Tests
2s
Lean Tests
Python Tests
2s
Python Tests
Validate Built Package
15s
Validate Built Package
Deployment Tests
2s
Deployment Tests
CI Metrics
10s
CI Metrics
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Validate Built Package
No file matched to [/home/runner/work/jacobian/jacobian/**/*requirements*.txt,/home/runner/work/jacobian/jacobian/**/*requirements*.in,/home/runner/work/jacobian/jacobian/**/*constraints*.txt,/home/runner/work/jacobian/jacobian/**/*constraints*.in,/home/runner/work/jacobian/jacobian/**/pyproject.toml,/home/runner/work/jacobian/jacobian/**/uv.lock,/home/runner/work/jacobian/jacobian/**/*.py.lock]. The cache will never get invalidated. Make sure you have checked out the target repository and configured the cache-dependency-glob input correctly.
Validate Built Package
Empty workdir detected. This may cause unexpected behavior. You can enable ignore-empty-workdir to mute this warning.

Artifacts

Produced during runtime
Name Size Digest
build-timing
609 Bytes
sha256:355623b81d2b986ede80d21cd95164999ad209e4814e9d47bd1e55e38b29bbff
ci-plan-receipt
1.03 KB
sha256:1384434d0693a283464bb4714718e376eb37173c6894f9a5884aca7cd74a8088
ci-timings
333 Bytes
sha256:5f8c3c3cb1536deeb5ea246f8289a3cb16dd779d71b9277d012089317714793f
composition-duration-shard-1 Expired
7.75 KB
sha256:bfb276aee5ba6ea1235ee175a987e2df6f683745abc87c53c8f03f5cc3c78ddf
composition-duration-shard-2 Expired
7.91 KB
sha256:87988522a3daeb7df3c4c095f9a1fa030f1c0bdb83e96e923b89b38eb773f21c
composition-test-durations
13.8 KB
sha256:fc773658e786f9be4833ae4e2653d700156eceb1726788d1aace0efbe0afe24a
composition-test-durations-input Expired
13.4 KB
sha256:de655b94aac29b70b682a8991903cee243b4c3670c3e2b25a3e3528152af9d2f
coverage-3.12
118 KB
sha256:91889c5c13ec813bfb50cf29b8264261856733cd8e99f0354510a297ddfc9be5
coverage-data-component
862 KB
sha256:adc487c51b3e7e1efff943d1f19af0d798b71f5c69aa7e9b36b2b8858691c5b2
coverage-data-composition-1
891 KB
sha256:8c67d315693168045926191b13d1597aa71e19781f28346059440a0c92d5a3bf
coverage-data-composition-2
883 KB
sha256:f2990a1151f99d05b8b26938ab426358d695d3627f55694456a2bb009ab1ed91
coverage-data-domain-1
557 KB
sha256:ec173e462fe437799dcf6520a4a0fd456cf3b80b337c9f3f2769d3a0fda53ecb
coverage-data-domain-2
575 KB
sha256:334a97a5b4c0e3b6a4c0c0e4b8a067d0328a101216b18003d8232ab9ea034621
coverage-data-domain-3
565 KB
sha256:b65175e4a7e355c42f13cf43723150edeb552a578f08339d6227850b153bc851
coverage-data-domain-4
590 KB
sha256:60ba93f520342fe9d19e9f46d166141f5327f905097ed001bc05eed9ba4c2bd9
coverage-data-e2e
668 KB
sha256:ec9ad052e88c9cacfbcbbd96de7b7967401ad625e1afcf598f7ef370f266018c
coverage-data-mcp
670 KB
sha256:5d4177db0e506546af392f120a596d1d7dcd3aaf126cdad5a7b33a396195bf94
coverage-data-process
534 KB
sha256:3ff851066911f9b34cddaebcd93dd822637893941ec879bb473535a0a73829c5
coverage-data-provider
735 KB
sha256:fc5e788a9849faa3bd32a58c8c4df1476ff536e85c0a68f7cc7bb9f2d43b1cbb
coverage-data-storage
666 KB
sha256:a4fd4e1d279da6a8f48752201aaa0c89f6e263e658db1976076ca40d474adbb7
coverage-data-unit
555 KB
sha256:d3e0153caadc1e72bfa386e6542d5e84dcd67a536048e50482b5e694db6610c1
dist
5.25 MB
sha256:f615417c9537e34bbc8767a2c11c080648cc636d7ed4cf640146ab6c8f9957a6
domain-duration-shard-1 Expired
1.82 KB
sha256:39f6864314574b08e47beac045249c7cdb6797f955cc21b5072801a4bf58c1e4
domain-duration-shard-2 Expired
1.83 KB
sha256:d80b263a4154e3479e60ea05dfee895513bbb75ef41e3719dac81013b314c508
domain-duration-shard-3 Expired
1.9 KB
sha256:b30a1fe2e9e57c2bece840fd13c0221eaadb01ddbb0b1768f39a15bf578a8134
domain-duration-shard-4 Expired
1.99 KB
sha256:61ea956612f9f7564ed0214ae2a7ae0c94c8d0e070d925845f96c480b0cb1a11
domain-test-durations
5.3 KB
sha256:1685af5d211965cd91cb7e00618fa5c790929df96bf619de12f00164c673135e
domain-test-durations-input Expired
5.11 KB
sha256:707aa843b4f50c82ac105e601532ff91b3f0024306495f7ce975d29fd87c33c0
junit-compatibility-3.13 Expired
415 Bytes
sha256:49153f5b131bd081f30a32c9fbc6bac9481a623adb115be4ae32a9a1702b5e03
junit-composition-1-3.12 Expired
6.55 KB
sha256:744ee995698ea2cf68da2172d1482363b61d0430ac762b29f05dce149bf8c84d
junit-composition-2-3.12 Expired
6.68 KB
sha256:6f2726ca5f96d400c3792f2d8554aeeb2793b2b421d3f6657a68809614926f4d
junit-domain-1-3.12 Expired
1.68 KB
sha256:44d8eebb519f08dbfb4a096f6326a675c288124675b34009d990fd6b5ff3bf6e
junit-domain-2-3.12 Expired
1.69 KB
sha256:de337475bff74a8307dc46196e8f6b115e9e32a323312ade8771b7ea7016295e
junit-domain-3-3.12 Expired
1.77 KB
sha256:cfb39054351e6f219852df8c0a0aea68e4929abec007039038dd1ac677342d33
junit-domain-4-3.12 Expired
1.83 KB
sha256:79986ce9a28b7316676dc1158a1814831e28a1efcd0f81e5ec89679fdb20756d
junit-unit-3.12 Expired
15 KB
sha256:d62ca13239ebc525484046b8f5f40028fb2367f84f6985dd80547245bd560509