Merge branch 'main' into add-map-endpoint
All checks were successful
/ Test (pull_request) Successful in 52s
All checks were successful
/ Test (pull_request) Successful in 52s
This commit is contained in:
commit
6ef6d7adeb
1 changed files with 3 additions and 1 deletions
|
|
@ -1,6 +1,8 @@
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
push:
|
push:
|
||||||
|
branches:
|
||||||
|
- main
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
test:
|
test:
|
||||||
|
|
@ -14,4 +16,4 @@ jobs:
|
||||||
apt install -y maven
|
apt install -y maven
|
||||||
- name: Run maven verify test
|
- name: Run maven verify test
|
||||||
run: |
|
run: |
|
||||||
mvn -f attribute-endpoints-provider verify test
|
mvn -f attribute-endpoints-provider --batch-mode --no-transfer-progress verify test
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue