Skip to content
Back to pull request #330

Remove JML Markup #35

Sign in to view logs

Remove JML Markup

Remove JML Markup #35

Workflow file for this run

.github/workflows/macos_ci_jobs.yml at 5a14097
name: ACCP macOS CI
# Workflow syntax.
# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions
on:
pull_request:
branches:
- '*'
permissions:
contents: read
env:
PACKAGE_NAME: ACCP
jobs:
# JDK 8 job.
macOS8:
name: JDK8
runs-on: macos-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install lcov
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install lcov
- name: Install clang-format
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install clang-format
- name: Setup pip
uses: actions/setup-python@v4
with:
python-version: '3.9'
cache: 'pip'
- name: Install gcovr
run: |
pip install gcovr
# Set up Corretto 8. The JDK version should be least 10 for a regular ACCP build,
# but JAVA_HOME will be overwritten with subsequent versions we set up, so we save
# the path here beforehand.
- name: Set up corretto 8
uses: actions/setup-java@v3
with:
java-version: '8'
distribution: 'corretto'
- name: Get JAVA_HOME variable for correto 8
run: |
echo "JAVA8_HOME=${{ env.JAVA_HOME }}" >> $GITHUB_ENV
# Set up Corretto 11.
- name: Set up corretto 11
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'corretto'
# Test on Corretto 8. Built with JDK11, but tested with JDK8.
- name: Build and run tests for ${{ env.PACKAGE_NAME }} in corretto 8
env:
TEST_JAVA_HOME: ${{ env.JAVA8_HOME }}
run: |
./tests/ci/run_accp_basic_tests.sh --lcov-ignore inconsistent
./tests/ci/run_accp_test_integration.sh
# JDK 11 job.
macOS11:
name: JDK11
runs-on: macos-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install lcov
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install lcov
- name: Install clang-format
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install clang-format
- name: Setup pip
uses: actions/setup-python@v4
with:
python-version: '3.9'
cache: 'pip'
- name: Install gcovr
run: |
pip install gcovr
# Set up Corretto 11.
- name: Set up corretto 11
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'corretto'
# Test on Corretto 11.
- name: Build and run tests for ${{ env.PACKAGE_NAME }} in corretto 11
env:
TEST_JAVA_HOME: ${{ env.JAVA_HOME }}
run: |
./tests/ci/run_accp_basic_tests.sh --lcov-ignore inconsistent
./tests/ci/run_accp_test_integration.sh
# JDK 17 job.
macOS17:
name: JDK17
runs-on: macos-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install lcov
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install lcov
- name: Install clang-format
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install clang-format
- name: Setup pip
uses: actions/setup-python@v4
with:
python-version: '3.9'
cache: 'pip'
- name: Install gcovr
run: |
pip install gcovr
# Set up Corretto 17.
- name: Set up corretto 17
uses: actions/setup-java@v3
with:
java-version: '17'
distribution: 'corretto'
# Test on Corretto 17.
- name: Build and run tests for ${{ env.PACKAGE_NAME }} in corretto 17
env:
TEST_JAVA_HOME: ${{ env.JAVA_HOME }}
run: |
./tests/ci/run_accp_basic_tests.sh --lcov-ignore inconsistent
./tests/ci/run_accp_test_integration.sh
# JDK 8 FIPS job.
macOS8Fips:
name: JDK8FIPS
runs-on: macos-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install lcov
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install lcov
- name: Install clang-format
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install clang-format
- name: Setup pip
uses: actions/setup-python@v4
with:
python-version: '3.9'
cache: 'pip'
- name: Install gcovr
run: |
pip install gcovr
# Set up Corretto 8. The JDK version should be least 10 for a regular ACCP build,
# but JAVA_HOME will be overwritten with subsequent versions we set up, so we save
# the path here beforehand.
- name: Set up corretto 8
uses: actions/setup-java@v3
with:
java-version: '8'
distribution: 'corretto'
- name: Get JAVA_HOME variable for correto 8
run: |
echo "JAVA8_HOME=${{ env.JAVA_HOME }}" >> $GITHUB_ENV
# Set up Corretto 11.
- name: Set up corretto 11
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'corretto'
# Test on Corretto 8. Built with JDK11, but tested with JDK8.
- name: Build and run tests for ${{ env.PACKAGE_NAME }} in corretto 8
env:
TEST_JAVA_HOME: ${{ env.JAVA8_HOME }}
run: |
./tests/ci/run_accp_basic_tests.sh --fips --lcov-ignore inconsistent
./tests/ci/run_accp_test_integration.sh --fips
# JDK 11 FIPS job.
macOS11Fips:
name: JDK11FIPS
runs-on: macos-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install lcov
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install lcov
- name: Install clang-format
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install clang-format
- name: Setup pip
uses: actions/setup-python@v4
with:
python-version: '3.9'
cache: 'pip'
- name: Install gcovr
run: |
pip install gcovr
# Set up Corretto 11.
- name: Set up corretto 11
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'corretto'
# Test on Corretto 11.
- name: Build and run tests for ${{ env.PACKAGE_NAME }} in corretto 11
env:
TEST_JAVA_HOME: ${{ env.JAVA_HOME }}
run: |
./tests/ci/run_accp_basic_tests.sh --fips --lcov-ignore inconsistent
./tests/ci/run_accp_test_integration.sh --fips
# JDK 17 FIPS job.
macOS17Fips:
name: JDK17FIPS
runs-on: macos-latest
steps:
- uses: actions/checkout@v3
with:
submodules: true
- name: Install lcov
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install lcov
- name: Install clang-format
run: |
env HOMEBREW_NO_AUTO_UPDATE=1 brew install clang-format
- name: Setup pip
uses: actions/setup-python@v4
with:
python-version: '3.9'
cache: 'pip'
- name: Install gcovr
run: |
pip install gcovr
# Set up Corretto 17.
- name: Set up corretto 17
uses: actions/setup-java@v3
with:
java-version: '17'
distribution: 'corretto'
# Test on Corretto 17.
- name: Build and run tests for ${{ env.PACKAGE_NAME }} in corretto 17
env:
TEST_JAVA_HOME: ${{ env.JAVA_HOME }}
run: |
./tests/ci/run_accp_basic_tests.sh --fips --lcov-ignore inconsistent
./tests/ci/run_accp_test_integration.sh --fips