-
Notifications
You must be signed in to change notification settings - Fork 22
113 lines (95 loc) · 4.18 KB
/
CI.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
name: Integration Tests
on: [push, workflow_dispatch]
env:
SCALA_VERSION: '2.13.4'
JAVA_VERSION: '[email protected]'
jobs:
ci:
name: Integration Tests
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/checkout@v2
- name: Install Java (${{ env.JAVA_VERSION }}) and Scala (${{ env.SCALA_VERSION }})
uses: olafurpg/setup-scala@v11
with:
java-version: ${{ env.JAVA_VERSION }}
- name: Download MMT dependencies using 'sbt update'
run: |
cd src
sbt ++${{ env.SCALA_VERSION }} update
- name: Build 'mmt.jar' using 'sbt deploy'
run: |
cd src
sbt ++${{ env.SCALA_VERSION }} deploy
- name: Store 'mmt.jar' artifact
uses: actions/upload-artifact@v2
with:
name: mmt.jar
path: ./deploy/mmt.jar
- name: Run Unit Tests
run: |
cd src
sbt ++${{ env.SCALA_VERSION }} test
- name: Use 'devel' version for MMT Archives
run: |
echo "MMT_ARCHIVE_VERSION=devel" >> $GITHUB_ENV
if: "!startsWith(github.ref, 'refs/heads/master')"
- name: Use 'master' version for MMT Archives
run: |
echo "MMT_ARCHIVE_VERSION=master" >> $GITHUB_ENV
if: startsWith(github.ref, 'refs/heads/master')
- name: Run MMT Setup and store root directory
id: setup
run: |
java -jar ./deploy/mmt.jar :setup --auto --auto --no-content --no-jedit
echo "MMT_ARCHIVE_ROOT=../MMT-content" >> $GITHUB_ENV
- name: Test '${{ env.MMT_ARCHIVE }}'
if: always() && steps.setup.outcome == 'success'
env:
MMT_ARCHIVE: 'MMT/urtheories'
run: |
java -jar ./deploy/mmt.jar lmh install ${{ env.MMT_ARCHIVE }}@${{ env.MMT_ARCHIVE_VERSION }}
java -jar ./deploy/mmt.jar :file ${{ env.MMT_ARCHIVE_ROOT }}/${{ env.MMT_ARCHIVE }}/build.msl
- name: Test '${{ env.MMT_ARCHIVE }}'
if: always() && steps.setup.outcome == 'success'
env:
MMT_ARCHIVE: 'MMT/examples'
run: |
java -jar ./deploy/mmt.jar lmh install ${{ env.MMT_ARCHIVE }}@${{ env.MMT_ARCHIVE_VERSION }}
java -jar ./deploy/mmt.jar :file ${{ env.MMT_ARCHIVE_ROOT }}/${{ env.MMT_ARCHIVE }}/build.msl
- name: Test '${{ env.MMT_ARCHIVE }}'
if: always() && steps.setup.outcome == 'success'
env:
MMT_ARCHIVE: 'MMT/LATIN2'
run: |
java -jar ./deploy/mmt.jar lmh install ${{ env.MMT_ARCHIVE }}@${{ env.MMT_ARCHIVE_VERSION }}
java -jar ./deploy/mmt.jar :file ${{ env.MMT_ARCHIVE_ROOT }}/${{ env.MMT_ARCHIVE }}/build.msl
- name: Test '${{ env.MMT_ARCHIVE }}'
if: always() && steps.setup.outcome == 'success'
env:
MMT_ARCHIVE: 'MMT/LFX'
run: |
java -jar ./deploy/mmt.jar lmh install ${{ env.MMT_ARCHIVE }}@${{ env.MMT_ARCHIVE_VERSION }}
java -jar ./deploy/mmt.jar :file ${{ env.MMT_ARCHIVE_ROOT }}/${{ env.MMT_ARCHIVE }}/build.msl
- name: Test '${{ env.MMT_ARCHIVE }}'
if: always() && steps.setup.outcome == 'success'
env:
MMT_ARCHIVE: 'Test/General'
run: |
java -jar ./deploy/mmt.jar lmh install ${{ env.MMT_ARCHIVE }}@${{ env.MMT_ARCHIVE_VERSION }}
java -jar ./deploy/mmt.jar :file ${{ env.MMT_ARCHIVE_ROOT }}/${{ env.MMT_ARCHIVE }}/build.msl
- name: Test '${{ env.MMT_ARCHIVE }}'
if: always() && steps.setup.outcome == 'success'
env:
MMT_ARCHIVE: 'MitM/Foundation'
run: |
java -jar ./deploy/mmt.jar lmh install ${{ env.MMT_ARCHIVE }}@${{ env.MMT_ARCHIVE_VERSION }}
java -jar ./deploy/mmt.jar :file ${{ env.MMT_ARCHIVE_ROOT }}/${{ env.MMT_ARCHIVE }}/build.msl
- name: Test '${{ env.MMT_ARCHIVE }}'
if: always() && steps.setup.outcome == 'success'
env:
MMT_ARCHIVE: 'MitM/Core'
run: |
java -jar ./deploy/mmt.jar lmh install ${{ env.MMT_ARCHIVE }}@${{ env.MMT_ARCHIVE_VERSION }}
java -jar ./deploy/mmt.jar :file ${{ env.MMT_ARCHIVE_ROOT }}/${{ env.MMT_ARCHIVE }}/build.msl