Merge pull request #2017 from ThalesSiliconSecurity/dev/fix-spike-artifacts

Fix Spike artifacts
This commit is contained in:
JeanRochCoulon 2023-06-30 17:22:59 +02:00 committed by GitHub
commit db9f1854cb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -154,9 +154,11 @@ pub_build_tools:
- source cva6/regress/install-spike.sh
# Strip locally built binaries and libraries to reduce artifact size.
- '[ -f $(pwd)/tools/spike/bin/spike ] && strip $(pwd)/tools/spike/bin/spike* $(pwd)/tools/spike/lib/lib*.*'
- mkdir -p artifacts/tools/
- mv tools/spike artifacts/tools/
artifacts:
paths:
- tools/spike/
- artifacts/tools/spike/*
pub_smoke:
stage: one