Skip to content
ci

Improve ci pipeline #32

Sign in to view logs

Improve ci pipeline

Improve ci pipeline #32

Workflow file for this run

.github/workflows/ci.yml at 29bc740
name: ci
on:
push:
branches: [main]
pull_request:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: prepare
uses: ./.github/actions/prepare
- name: Build
run: just build
clippy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: prepare
uses: ./.github/actions/prepare
- name: Run clippy
run: just clippy
cargo-fmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: prepare
uses: ./.github/actions/prepare
- name: Build autogenerated files
run: cargo check
- name: Check formatting
run: cargo fmt --check
unit-tests:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: prepare
uses: ./.github/actions/prepare
- name: Run unit-tests
run: just unit-test
miri:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: prepare
uses: ./.github/actions/prepare
- name: Run miri
run: just miri
system-tests:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: prepare
uses: ./.github/actions/prepare
- name: Build
run: just system-test