Merge branch 'master' into ohadbitt-patch-1

This commit is contained in:
ohad bitton 2024-02-06 17:00:51 +02:00 коммит произвёл GitHub
Родитель 6af78e1fc7 32bb34b9cc
Коммит d86db2d860
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
1 изменённых файлов: 3 добавлений и 0 удалений

3
.github/workflows/build.yml поставляемый
Просмотреть файл

@ -10,6 +10,9 @@ on:
jobs:
build:
runs-on: ubuntu-latest
permissions:
checks: write
pull-requests: write
strategy:
matrix:
java: ['8', '11','17','21']