File size: 540 Bytes
c45d283 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 |
dist: trusty
sudo: false
group: edge
language: python
python: 3.6
install: pip install .
env:
- TEST="score dm.edm.json"
- TEST="score eds.edm.json"
- TEST="score eds.smatch.json"
- TEST="score eds.mrp.json"
- TEST="score dm.sdp.json"
- TEST="score ucca.ucca.json"
- TEST="score ucca.smatch.json"
- TEST="score ucca.mrp.json"
- TEST="score test.smatch.json"
- TEST="score coli.smatch.json"
- TEST="score coli.mrp.json"
- TEST="score unit"
- TEST="sample all"
- TEST="validate all"
script:
- make -C data/$TEST
|