Remove git port.

This commit is contained in:
Nicolas Patry 2023-09-27 09:21:14 +00:00
parent efd0ce3cba
commit bee42de54b

View File

@ -1,8 +1,6 @@
name: Automatic Documentation for Launcher name: Automatic Documentation for Launcher
on: on:
# TODO remove this before merging
push:
pull_request: pull_request:
jobs: jobs:
@ -15,7 +13,7 @@ jobs:
- name: Install Launcher - name: Install Launcher
id: install-launcher id: install-launcher
run: cargo install --git git+https://github.com/${{ github.repository }} --branch ${{ github.head_ref }} text-generation-launcher run: cargo install --git https://github.com/${{ github.repository }} --branch ${{ github.head_ref }} text-generation-launcher
- name: Update Docs - name: Update Docs
run: | run: |