Minimal support for threads partitioning #1094
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: CI | |
on: | |
push: | |
branches: | |
- main | |
pull_request: | |
branches: | |
- '*' | |
schedule: | |
- cron: '0 0 1 * *' | |
env: | |
CARGO_TERM_COLOR: always | |
jobs: | |
check: | |
name: Check | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the Repository | |
uses: actions/checkout@v2 | |
- name: Install CUDA | |
uses: Jimver/[email protected] | |
with: | |
method: network | |
use-github-cache: false | |
use-local-cache: false | |
- name: Install OpenMPI | |
run: | | |
sudo apt-get update -q | |
sudo apt-get install libopenmpi-dev -y --no-install-recommends | |
- name: Check the default features | |
run: cargo check | |
- name: Check all features | |
run: cargo check --all-features | |
test: | |
name: Test Suite | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the Repository | |
uses: actions/checkout@v2 | |
- name: Install CUDA | |
uses: Jimver/[email protected] | |
with: | |
method: network | |
use-github-cache: false | |
use-local-cache: false | |
- name: Install OpenMPI | |
run: | | |
sudo apt-get update -q | |
sudo apt-get install libopenmpi-dev -y --no-install-recommends | |
- name: Run the test-suite | |
run: cargo test --workspace --no-fail-fast | |
fmt: | |
name: Rustfmt | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the Repository | |
uses: actions/checkout@v2 | |
- name: Check the code formatting | |
run: cargo fmt --all -- --check | |
clippy: | |
name: Clippy | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the Repository | |
uses: actions/checkout@v2 | |
- name: Install CUDA | |
uses: Jimver/[email protected] | |
with: | |
method: network | |
use-github-cache: false | |
use-local-cache: false | |
- name: Install OpenMPI | |
run: | | |
sudo apt-get update -q | |
sudo apt-get install libopenmpi-dev -y --no-install-recommends | |
- name: Check the code style for the default features | |
run: cargo clippy -- -D warnings | |
- name: Check the code style for all features | |
run: cargo clippy --all-features -- -D warnings |