Skip to content
Pyodide

logic: Streamline support for uninterpreted functions in z3 wrapper #22

Sign in to view logs

logic: Streamline support for uninterpreted functions in z3 wrapper

logic: Streamline support for uninterpreted functions in z3 wrapper #22

Triggered via push September 15, 2025 07:27
@TiloRCTiloRC
pushed 83922e9
z3-euf
Status Success
Total duration 22m 43s
Artifacts 5

emscripten.yml

on: push
Matrix: pyodide-test
Delete previous test duration caches
0s
Delete previous test duration caches
Merge and cache new test durations
5s
Merge and cache new test durations
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
Test group 4
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0LMDHaAAAAACD8hZiJLzLQZMFzWo9zC3UUEFPRURHRTA1MTEARWRnZQ==
Test group 4
No cached files found at path "/home/runner/work/sympy/sympy/emsdk-cache" - downloading and caching emsdk.
Test group 4
Failed to restore: Cache service responded with 400
Test group 1
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0LcDHaAAAAABHm7T/yNvfSYCypUDbndHnQlkzRURHRTAxMjAARWRnZQ==
Test group 1
No cached files found at path "/home/runner/work/sympy/sympy/emsdk-cache" - downloading and caching emsdk.
Test group 1
Failed to restore: Cache service responded with 400
Test group 2
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0LMDHaAAAAABzW6xqITrZQqa+g4SPX4HGUEFPRURHRTA2MDkARWRnZQ==
Test group 2
No cached files found at path "/home/runner/work/sympy/sympy/emsdk-cache" - downloading and caching emsdk.
Test group 2
Failed to restore: Cache service responded with 400
Test group 3
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0LcDHaAAAAAAXn9rGp/KNQ4Pjzb79bOZjQkwyQUEyMDMwMTEwMDA5AEVkZ2U=
Test group 3
No cached files found at path "/home/runner/work/sympy/sympy/emsdk-cache" - downloading and caching emsdk.
Test group 3
Failed to restore: Cache service responded with 400
Merge and cache new test durations
Cache save failed.

Artifacts

Produced during runtime
Name Size Digest
pytest_durations_1 Expired
235 KB
sha256:740ff219268943e60dea1065b31f47aff54947c27cd1ee251cf2afe395f85e72
pytest_durations_2 Expired
234 KB
sha256:3eca04470fd6fbda7335e69069ed0fd093f9bef9f474427ceccd03b24d210fcb
pytest_durations_3 Expired
235 KB
sha256:66c71587671280ccc4208c0b2cd1d672459be24685eb274bcfa95d5c05317f52
pytest_durations_4 Expired
234 KB
sha256:802d77e8124b6e4019942a684b52ff2c2538748b10675f3c8e86b0f798e7b9bf
test_durations_merged Expired
233 KB
sha256:e6eea6fa5b049f46ccb09a40a8f41e86a1864852e2ceea0d64f2e8c7341a7f72