New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement ssh-key and ssh-known-hosts support for GHA #902

Open

mathias-luedtke wants to merge 1 commit into ros-industrial:master from mathias-luedtke:feature/github-ssh-key

+27 −0

Member

mathias-luedtke commented Feb 2, 2025 •

edited

Loading

test_ici:
    runs-on: ubuntu-latest
    steps:
      - uses: 'mathias-luedtke/industrial_ci@feature/github-ssh-key'
        with:
          ssh-key: ${{ secrets.private_key }}
        env:
          ROS_DISTRO: "humble"
          TARGET_WORKSPACE: "git+ssh://[email protected]/mathias-luedtke/testpriv.git#main"

mathias-luedtke marked this pull request as draft

February 2, 2025 13:43

mathias-luedtke force-pushed the feature/github-ssh-key branch from c201f13 to 3b4d9b9 Compare

February 2, 2025 13:45

mathias-luedtke mentioned this pull request

Add documentation for github private repos #900

Open

mathias-luedtke force-pushed the feature/github-ssh-key branch from 3041fbe to 2bf5138 Compare

February 2, 2025 18:14


          Implement ssh-key and ssh-known-hosts support for GHA

507fa0b

mathias-luedtke force-pushed the feature/github-ssh-key branch from 2bf5138 to 507fa0b Compare

February 2, 2025 20:16

mathias-luedtke marked this pull request as ready for review

February 2, 2025 20:17

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet