Skip to content

Merge pull request #687 from bobmyhill/tighten_eps #774

Merge pull request #687 from bobmyhill/tighten_eps

Merge pull request #687 from bobmyhill/tighten_eps #774

Triggered via push October 13, 2025 19:45
Status Success
Total duration 13m 55s
Artifacts 1

main.yml

on: push
Matrix: indent
Matrix: test
Matrix: test with full pycddlib
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
changes-astyle.diff
154 Bytes
sha256:9517da9ef17ba64edfd9c5b3cb82e9cfcc9c8c8ace24af7b644a78be6c04e505