This repository has been archived on 2026-01-12. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
ptp/pandamonium-theorem-prover/.travis.yml

29 lines
633 B
YAML

language: java
services:
- mysql
install: true
before_install:
- chmod +x pandamonium-theorem-prover/gradlew
- cd pandamonium-theorem-prover
before_script:
- mysql -u root < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql
stages:
- name: Load Database
- name: Build
- name: Unit Tests
- name: Integration Tests
jobs:
include:
- stage: Load Database
script: ./pandamonium-theorem-prover/gradlew loaddb
- stage: Build
script: ./gradlew build
- stage: Unit Tests
script: ./gradlew test
- stage: Integration Tests
script: ./gradlew integrationTest