Searched full:docker_container_id (Results 1 – 2 of 2) sorted by relevance
253 echo "DOCKER_CONTAINER_ID=${container_name}" >> "${GITHUB_ENV}"295 …find . -iname "core.[1-9]*" -exec docker exec "${DOCKER_CONTAINER_ID}" sh -c "gdb python {} -ex 'b…
283 echo "DOCKER_CONTAINER_ID=${container_name}" >> "${GITHUB_ENV}"324 …find . -iname "core.[1-9]*" -exec docker exec "${DOCKER_CONTAINER_ID}" sh -c "gdb python {} -ex 'b…