Skip to content

Setup build pipeline for makefile. #1

Setup build pipeline for makefile.

Setup build pipeline for makefile. #1

Workflow file for this run

name: Makefile CI
on:
push:
branches: [ "buildPdf" ]
pull_request:
branches: [ "master" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: configure
run: ./configure
- name: Install dependencies
run: make
- name: Run check
run: make check
- name: Run distcheck
run: make distcheck