Skip to content

Merge branch 'jpellegrini-empty-symbol' #643

Merge branch 'jpellegrini-empty-symbol'

Merge branch 'jpellegrini-empty-symbol' #643

Workflow file for this run

name: C/C++ CI
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: timestamp correction
run: ./utils/time-correct
- name: configure
run: ./configure
- name: make
run: make -j1
- name: make check
run: make check
# - name: make distcheck
# run: make distcheck