Skip to content

Update GitHub workflow file #6

Update GitHub workflow file

Update GitHub workflow file #6

Workflow file for this run

name: CI
on:
push:
branches:
- master
pull_request:
branches:
- master
workflow_dispatch:
jobs:
Tests:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run linter
run: |
make lint