Skip to content

Merge pull request #7 from github/dependabot/github_actions/rui314/se… #14

Merge pull request #7 from github/dependabot/github_actions/rui314/se…

Merge pull request #7 from github/dependabot/github_actions/rui314/se… #14

Workflow file for this run

name: CI
on:
push:
permissions:
contents: read
packages: read
# In the event that there is a new push to the ref, cancel any running jobs because there are now obsolete, and wasting
# resources.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
name: Build
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: rui314/setup-mold@65685f45207903d37d006cd402c397653c57660e
- name: Build
run: make build
lint:
name: Lint
runs-on: ubuntu-latest
needs: build
steps:
- uses: actions/checkout@v4
- uses: rui314/setup-mold@65685f45207903d37d006cd402c397653c57660e
- name: Check formatting and clippy
run: make lint
test:
name: Test
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: rui314/setup-mold@65685f45207903d37d006cd402c397653c57660e
- name: Run unit tests
run: make test