-
Notifications
You must be signed in to change notification settings - Fork 14
147 lines (127 loc) · 5.4 KB
/
main.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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
name: FASTEN_CI
on: [push, pull_request]
env:
MPS_VER: "2023.2"
GITHUB_ACTOR: ${{ github.actor }}
GITHUB_TOKEN: ${{ secrets.FASTEN_GITHUB_PKG_REGISTRY }}
jobs:
build_fasten_distribution_and_perform_checks:
runs-on: ubuntu-latest
env:
DISPLAY: ':99'
steps:
- uses: actions/checkout@v2
- name: Set up Gradle
run: |
echo "$(pwd)/rcp_resources/external_tools" >> $GITHUB_PATH
- name: Setup headless environment
run: |
Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 &
- name: Set up JDK 17
uses: actions/setup-java@v1
with:
java-version: 17
- name: Resolve MPS
uses: gradle/[email protected]
with:
arguments: resolveMps -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
- name: Build FASTEN
uses: gradle/[email protected]
with:
arguments: package_fasten_safety_distribution_win -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
wrapper-cache-enabled: true
dependencies-cache-enabled: true
dependencies-cache-key: gradle/dependency-locks/**
dependencies-cache-exact: true
configuration-cache-enabled: true
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew
- name: Check Consistency of the FASTEN-NuSMV Tutorial
uses: gradle/[email protected]
with:
arguments: -PcheckProject=nusmv -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
wrapper-cache-enabled: true
dependencies-cache-enabled: true
dependencies-cache-key: gradle/dependency-locks/**
configuration-cache-enabled: true
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew
- name: Check Consistency of the FASTEN-Safety Tutorial
uses: gradle/[email protected]
with:
arguments: -PcheckProject=safety -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
wrapper-cache-enabled: true
dependencies-cache-enabled: true
dependencies-cache-key: gradle/dependency-locks/**
configuration-cache-enabled: true
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew
- name: Run Tests
uses: gradle/[email protected]
with:
arguments: run_all_tests -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
wrapper-cache-enabled: true
dependencies-cache-enabled: true
dependencies-cache-key: gradle/dependency-locks/**
configuration-cache-enabled: true
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew
- name: Publish Test Report
uses: mikepenz/action-junit-report@v2
with:
fail_on_failure: true
report_paths: 'build/**/TEST*.xml'
github_token: ${{ secrets.GITHUB_TOKEN }}
#- name: Publish to Github Maven
# uses: gradle/[email protected]
# with:
# arguments: publishNuSMVLanguagesPublicationToGitHubPackagesRepository -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
# wrapper-cache-enabled: true
# dependencies-cache-enabled: true
# dependencies-cache-key: gradle/dependency-locks/**
# dependencies-cache-exact: true
# configuration-cache-enabled: true
# gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew
- name: Get Current Time
id: time
uses: nanzm/[email protected]
with:
timeZone: 2
format: 'YYYY-MM-DD-HH-mm'
#- name: Debug Directory Layout
# run: |
# ls -alR build/artifacts/com.mbeddr.formal.safetyDistribution
- name: Archive distribution
uses: actions/upload-artifact@v2
with:
name: fasten-distribution-win-2023.2-${{ steps.time.outputs.time }}
path: build/distributions/fasten-2023.2-SNAPSHOT-Win-2023.2-SNAPSHOT.zip
build_fasten_assurance_package:
runs-on: ubuntu-latest
env:
DISPLAY: ':99'
steps:
- uses: actions/checkout@v2
- name: Setup headless environment
run: |
Xvfb :99 -screen 0 1024x768x24 > /dev/null 2>&1 &
- name: Set up JDK 17
uses: actions/setup-java@v1
with:
java-version: 17
#- name: Build FASTEN Assurance Distribution
# uses: gradle/[email protected]
# with:
# arguments: package_assurance -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
# wrapper-cache-enabled: true
# dependencies-cache-enabled: true
# dependencies-cache-key: gradle/dependency-locks/**
# dependencies-cache-exact: true
# configuration-cache-enabled: true
# gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew
- name: Build and Publish FASTEN Assurance to Github Maven Packages
uses: gradle/[email protected]
with:
arguments: publishFASTENSafetyLanguagesPublicationToGitHubPackagesRepository -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
wrapper-cache-enabled: true
dependencies-cache-enabled: true
dependencies-cache-key: gradle/dependency-locks/**
dependencies-cache-exact: true
configuration-cache-enabled: true
gradle-executable: /home/runner/work/mbeddr.formal/mbeddr.formal/gradlew