Merge pull request #28459 from ProvableHQ/fix/release-ci-linux-musl

[Fix] Checkout correctly and optionally select tag
This commit is contained in:
d0cd 2024-11-19 20:16:08 -08:00 committed by GitHub
commit 23a80667ee
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,8 +6,8 @@ on:
workflow_dispatch: workflow_dispatch:
inputs: inputs:
tag: tag:
description: 'Tag to run CI on' description: 'Optional tag to build'
required: true required: false
env: env:
RUST_BACKTRACE: 0 RUST_BACKTRACE: 0
@ -62,6 +62,8 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v3
with:
submodules: true
- name: Install Rust - name: Install Rust
uses: dtolnay/rust-toolchain@stable uses: dtolnay/rust-toolchain@stable