Skip to content

Improve ci pipeline #45

Improve ci pipeline

Improve ci pipeline #45

Workflow file for this run

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
rustfmt:
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
cache-analysis:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/cache@v4
id: cache-id
with:
path: ${{ runner.temp }}/ci-cache
key: ${{ runner.os }}-${{ hashFiles('.github/workflows/setup.sh')}}
- name: Replace colon file names
run: |
cd ${{ runner.temp }}/ci-cache
find . -name '*:*' -type f | while read -r file; do
mv "$file" "$(echo $file | sed 's/:/-/g')"
done
- name: upload artifact
uses: actions/upload-artifact@v4
with:
path: ${{ runner.temp }}/ci-cache
include-hidden-files: true
# - name: Setup tmate session
# uses: mxschmitt/action-tmate@v3