mirror of
https://github.com/XRPLF/rippled.git
synced 2026-02-06 06:55:26 +00:00
0586b5678e
The `upload-conan-deps` workflow that's triggered on push is supposed to upload the Conan dependencies to our remote, so future PR commits can pull those dependencies from the remote. However, as the `sanitize` argument is missing, it was building different dependencies than what the PRs are building for the asan/tsan/ubsan job, so the latter would not find anything in the remote that they could use. This change sets the missing `sanitizers` input variable when running the `build-deps` action. Separately, the `setup-conan` action showed the default profile, while we are using the `ci` profile. To ensure the profile is correctly printed when sanitizers are enabled, the environment variable the profile uses is set before calling the action.
47 lines
1.3 KiB
YAML
47 lines
1.3 KiB
YAML
name: Setup Conan
|
|
description: "Set up Conan configuration, profile, and remote."
|
|
|
|
inputs:
|
|
remote_name:
|
|
description: "The name of the Conan remote to use."
|
|
required: false
|
|
default: xrplf
|
|
remote_url:
|
|
description: "The URL of the Conan endpoint to use."
|
|
required: false
|
|
default: https://conan.ripplex.io
|
|
|
|
runs:
|
|
using: composite
|
|
|
|
steps:
|
|
- name: Set up Conan configuration
|
|
shell: bash
|
|
run: |
|
|
echo 'Installing configuration.'
|
|
cat conan/global.conf ${{ runner.os == 'Linux' && '>>' || '>' }} $(conan config home)/global.conf
|
|
|
|
echo 'Conan configuration:'
|
|
conan config show '*'
|
|
|
|
- name: Set up Conan profile
|
|
shell: bash
|
|
run: |
|
|
echo 'Installing profile.'
|
|
conan config install conan/profiles/ -tf $(conan config home)/profiles/
|
|
|
|
echo 'Conan profile:'
|
|
conan profile show --profile ci
|
|
|
|
- name: Set up Conan remote
|
|
shell: bash
|
|
env:
|
|
REMOTE_NAME: ${{ inputs.remote_name }}
|
|
REMOTE_URL: ${{ inputs.remote_url }}
|
|
run: |
|
|
echo "Adding Conan remote '${REMOTE_NAME}' at '${REMOTE_URL}'."
|
|
conan remote add --index 0 --force "${REMOTE_NAME}" "${REMOTE_URL}"
|
|
|
|
echo 'Listing Conan remotes.'
|
|
conan remote list
|