Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

build: move CI to GitHub Actions #323

Closed
wants to merge 2 commits into from
Closed

build: move CI to GitHub Actions #323

wants to merge 2 commits into from

Commits on Jan 9, 2020

  1. test: use gdb to capture core on tests 

    gdb let us save core dumps on Linux (similar to what we do on OS X). For
some reason, GitHub Actions are not generating system core dumps, so
this is a good alternative to keep tests working when we move.
    @mmarchini
    mmarchini committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    c8ebdf7 View commit details
    Browse the repository at this point in the history

  2. build: move CI to GitHub Actions 

    Reduce CI time by moving to GitHub Actions.

Fixes: #312
    @mmarchini
    mmarchini committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    6c82b1e View commit details
    Browse the repository at this point in the history