Skip to content
This repository has been archived by the owner on Jul 31, 2023. It is now read-only.

in docker env, got llvm-link-10 error #144

Closed
NEUZhangy opened this issue Jun 9, 2021 · 1 comment
Closed

in docker env, got llvm-link-10 error #144

NEUZhangy opened this issue Jun 9, 2021 · 1 comment

Comments

@NEUZhangy
Copy link

image

Please see the attached image. The reproduce steps:

  1. docker/build
  2. docker/run
  3. cd compatibility-test
  4. cargo-verify --tests
@NEUZhangy
Copy link
Author

#131 (comment)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant