Skip to content

Merge pull request #70 from github/dependabot/github_actions/rui314/s… #271

Merge pull request #70 from github/dependabot/github_actions/rui314/s…

Merge pull request #70 from github/dependabot/github_actions/rui314/s… #271

Workflow file for this run

name: CI
on:
push:
branches: [ main ]
pull_request:
workflow_dispatch:
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@702b1908b5edf30d71a8d1666b724e0f0c6fa035
- name: Build
run: make build
- name: Build JS
run: make build-js
lint:
name: Lint
runs-on: ubuntu-latest
needs: build
steps:
- uses: actions/checkout@v4
- uses: rui314/setup-mold@702b1908b5edf30d71a8d1666b724e0f0c6fa035
- name: Check formatting and clippy
run: make lint
test:
name: Test
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: rui314/setup-mold@702b1908b5edf30d71a8d1666b724e0f0c6fa035
- name: Run unit tests
run: make test