Skip to content

ci: declare shell: bash as the workflow default so every run step gets pipefail - #911

Open
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/default-shell-bash
Open

ci: declare shell: bash as the workflow default so every run step gets pipefail#911
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/default-shell-bash

ci: declare shell: bash as the workflow default for pipefail

18507dc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 16, 2026 in 4s