diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/cpp.yml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/.github/workflows/cpp.yml b/.github/workflows/cpp.yml deleted file mode 100644 index 94eb070d5..000000000 --- a/.github/workflows/cpp.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: Build on Ubuntu with default options - -on: [push] - -jobs: - build: - - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v1 - - name: configure - run: ./buildconf && ./configure - - name: make - run: make - - name: make check - run: make test-nonflaky |