GitHub workflows: Migrate to `turtlesec-no/get-ninja`

This does not depend on the deprecated Node.js v12.

PiperOrigin-RevId: 538672875
Change-Id: Ie26e3adfc67626d53ad5a3d12d48099efd4fe827
pull/171/head
Christian Blichmann 2023-06-07 20:59:53 -07:00 committed by Copybara-Service
parent 72452e1582
commit b0547f3506
2 changed files with 2 additions and 2 deletions

View File

@ -50,7 +50,7 @@ jobs:
${{github.workspace}}/build/_deps/${{matrix.contrib}}-*/**
- name: Install ninja-build tool
uses: seanmiddleditch/gha-setup-ninja@v3
uses: turtlesec-no/get-ninja@1.1.0
- name: Install/configure Clang compiler toolchain
if: matrix.compiler == 'clang'

View File

@ -82,7 +82,7 @@ jobs:
${{github.workspace}}/build/_deps
- name: Install ninja-build tool
uses: seanmiddleditch/gha-setup-ninja@v3
uses: turtlesec-no/get-ninja@1.1.0
- name: Install/configure Clang compiler toolchain
if: matrix.compiler == 'clang'