Skip to content

Conversation

@ahomescu
Copy link
Contributor

This fixes errors caused by reusing Ubuntu 24.04 binaries on the older 22.04 image with older libraries like glibc:

   Compiling z3-sys v0.8.1
error: failed to run custom build command for `z3-sys v0.8.1`

Caused by:
  process didn't exit successfully: `/home/runner/work/c2rust/c2rust/target/release/build/z3-sys-29b81b2e035745ff/build-script-build` (exit status: 1)
  --- stderr
  /home/runner/work/c2rust/c2rust/target/release/build/z3-sys-29b81b2e035745ff/build-script-build: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.38' not found (required by /home/runner/work/c2rust/c2rust/target/release/build/z3-sys-29b81b2e035745ff/build-script-build)

Copy link
Contributor

@kkysen kkysen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah, maybe this is why this happened occasionally. I just deleted the cache and it was fixing it temporarily I guess.

Copy link
Contributor

@fw-immunant fw-immunant left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense, thanks for tracking this down.

@ahomescu ahomescu merged commit 394ecb5 into master Nov 21, 2025
5 checks passed
@ahomescu ahomescu deleted the ahomescu/ci_cache_key_runner branch November 21, 2025 19:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants