Skip to content

Add an impl for ThreadId #4060

Add an impl for ThreadId

Add an impl for ThreadId #4060

name: Build and test
on:
push:
pull_request:
jobs:
linux-build-and-test:
runs-on: 4-core-ubuntu
steps:
- uses: actions/checkout@v4.1.0
- uses: ./.github/actions/setup_linux_env
- uses: ./.github/actions/build_debug
- uses: ./.github/actions/run_test_py
macos-build-and-test:
runs-on: macos-latest
steps:
- uses: maxim-lobanov/setup-xcode@v1.6.0
with:
xcode-version: 15.3.0
- uses: actions/checkout@v4.1.0
- uses: ./.github/actions/setup_macos_env
- uses: ./.github/actions/build_debug
- uses: ./.github/actions/run_test_py
windows-build-and-test:
runs-on: windows-latest
steps:
- uses: actions/checkout@v4.1.0
- uses: ./.github/actions/setup_windows_env
- uses: ./.github/actions/build_debug
- uses: ./.github/actions/run_test_py
macos-build-examples:
runs-on: macos-latest
steps:
- uses: maxim-lobanov/setup-xcode@v1.6.0
with:
xcode-version: 15.3.0
- uses: actions/checkout@v4.1.0
- uses: ./.github/actions/setup_macos_env
- uses: ./.github/actions/init_opam
- uses: ./.github/actions/build_release
- name: Setup the 'example/with_prelude' project
run: |-
cd examples/with_prelude
./haskell-setup.sh
./ocaml-setup.sh
- name: Build the 'example/with_prelude' project
run: |-
cd examples/with_prelude
$RUNNER_TEMP/artifacts/buck2 build //... -v 2
$RUNNER_TEMP/artifacts/buck2 test //... -v 2
- uses: ./.github/actions/build_example_no_prelude
- uses: ./.github/actions/setup_reindeer
- uses: ./.github/actions/build_bootstrap
linux-build-examples:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4.1.0
- uses: ./.github/actions/setup_linux_env
- uses: ./.github/actions/init_opam
- uses: ./.github/actions/build_release
- name: Setup the 'example/with_prelude' project
run: |-
cd examples/with_prelude
./haskell-setup.sh
./ocaml-setup.sh
- name: Build the 'example/with_prelude' project
run: |-
cd examples/with_prelude
$RUNNER_TEMP/artifacts/buck2 build //... -v 2
$RUNNER_TEMP/artifacts/buck2 test //... -v 2
- uses: ./.github/actions/build_example_conan
- uses: ./.github/actions/build_example_no_prelude
- uses: ./.github/actions/setup_reindeer
- uses: ./.github/actions/build_bootstrap
windows-build-examples:
runs-on: windows-latest
steps:
- uses: actions/checkout@v4.1.0
- uses: ./.github/actions/setup_windows_env
- uses: ./.github/actions/build_release
- name: Build example/prelude directory
run: |-
cd examples/with_prelude
& $Env:RUNNER_TEMP/artifacts/buck2 build //... -v 2
& $Env:RUNNER_TEMP/artifacts/buck2 test //... -v 2
- uses: ./.github/actions/build_example_no_prelude
- name: Configure CARGO_HOME
run: |-
echo CARGO_HOME=$GITHUB_WORKSPACE/.cargo >> $GITHUB_ENV
echo $GITHUB_WORKSPACE/.cargo/bin >> $GITHUB_PATH
shell:
bash
- uses: ./.github/actions/setup_reindeer
- uses: ./.github/actions/build_bootstrap