Skip to content

Merge branch 'main' into use_gramtools #448

Merge branch 'main' into use_gramtools

Merge branch 'main' into use_gramtools #448

Workflow file for this run

name: "Docs"
on:
push:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Setup Autotools & configure
run: ./autogen.sh && ./configure
- name: Build everything
run: make -j4
- name: Check tarball integrity
run: make distcheck