Skip to content

Commit 5c1f902

Browse files
committed
Add a github action to build Models Library on Github Actions.
For now it's using a simple platform array (`ubuntu-latest`, Java 16 JDK by Adoptium), but it can be enhanced later to feature support for multiple platforms or JDK versions.
1 parent 198d541 commit 5c1f902

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed
Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
name: Build JBMC Java Models Library
2+
on:
3+
pull_request:
4+
branches: [ master ]
5+
6+
jobs:
7+
Build-Models-Library:
8+
runs-on: ubuntu-latest
9+
steps:
10+
- name: Checkout repository
11+
uses: actions/checkout@v2
12+
- name: Setup Java environment
13+
uses: actions/setup-java@v2
14+
with:
15+
java-version: '16'
16+
distribution: 'adopt'
17+
- name: Build with Maven
18+
run: mvn package

0 commit comments

Comments
 (0)