tools/ci/docker/linux/Dockerfile: Restarting the Docker-Linux workflow a new attempt

[simbit18]

Summary

tools/ci/docker/linux/Dockerfile

revert from --strip-components=1 to --strip-components 1

.github/workflows/docker_linux.yml

added -> workflow_dispatch:

Manual execution of a workflow
https://docs.github.com/en/actions/managing-workflow-runs-and-deployments/managing-workflow-runs/manually-running-a-workflow

Impact

There should be no impact.

Testing

CI

[simbit18]

@acassis @xiaoxiang781216

Running Docker-Linux workflow manually

1. On GitHub, navigate to the main page of the repository.

2. Under your repository name, click Actions.

3. In the left sidebar, click Docker-Linux workflow.

4. Above the list of workflow runs, click the Run workflow button.

5. Select the Branch dropdown menu and click a branch to run the workflow on.

6. Click Run workflow.