Skip to content

fix: shell-wrapper sometimes can't launch wrapped shell due to race condition #640

fix: shell-wrapper sometimes can't launch wrapped shell due to race condition

fix: shell-wrapper sometimes can't launch wrapped shell due to race condition #640

Workflow file for this run

name: "Push"
on:
push:
branches: [main]
pull_request: {}
jobs:
build:
name: Build πŸ› οΈ
uses: ./.github/workflows/run_build.yml
package:
name: Package πŸ“¦
uses: ./.github/workflows/run_package.yml
needs:
- build
checks:
name: Checks πŸ“‹
uses: ./.github/workflows/run_checks.yml
tests:
name: Tests πŸ§ͺ
uses: ./.github/workflows/run_tests.yml
needs:
- build
docs:
name: Docs πŸ“•
uses: ./.github/workflows/run_docs.yml