Skip to content

Create build-and-test GitHub workflow #3

Create build-and-test GitHub workflow

Create build-and-test GitHub workflow #3

Workflow file for this run

name: Build and Test
on:
pull_request:
branches-ignore:
- 'gh-pages'
permissions:
contents: read
jobs:
plain_makefile:
name: Build and test using plain Makefile
runs-on: 'ubuntu-20.04'
steps:
- name: Build environment setup
run: |
echo 'Nothing to do.'
echo 'GitHub runner includes tools we need already.'
- uses: actions/checkout@v4
- name: Build (make all)
run: |
make all
- name: Test (./tests.sh)
run: |
./tests.sh