Skip to content

One more.

One more. #1033

Workflow file for this run

name: Faster configuration (GMP)
defaults:
run:
shell: ${{ matrix.os == 'windows-latest' && 'msys2 {0}' || 'bash' }}

Check failure on line 5 in .github/workflows/gmp.yml

View workflow run for this annotation

GitHub Actions / Faster configuration (GMP)

Invalid workflow file

The workflow is not valid. .github/workflows/gmp.yml (Line: 5, Col: 12): Unrecognized named-value: 'matrix'. Located at position 1 within expression: matrix.os == 'windows-latest' && 'msys2 {0}' || 'bash'
on:
push:
branches:
- '**' # all branches
pull_request:
branches:
- '**' # all branches
jobs:
build:
name: ${{ matrix.config.name }}
runs-on: ${{ matrix.config.os }}
strategy:
fail-fast: false
matrix:
config:
- {
name: "Windows Latest - MinGW",
os: windows-latest,
cc: "gcc"
}
- {
name: "Ubuntu Latest - GCC",
os: ubuntu-latest,
cc: "gcc",
}
- {
name: "Ubuntu Latest - Clang",
os: ubuntu-latest,
cc: "clang",
}
- {
name: "MacOS Latest",
os: macos-latest,
cc: "clang",
}
steps:
- uses: actions/checkout@v4
- name: Install Linux Dependencies
if: runner.os == 'Linux'
run: sudo apt install libgmp-dev
- name: Install MacOS Dependencies
if: runner.os == 'MacOS'
run: brew install gmp
- name: Set MinGW enviroment
if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
uses: msys2/setup-msys2@v2
with:
msystem: UCRT64
install: >-
git
base-devel
gcc
cmake
gmp
gmp-devel
mingw-w64-x86_64-gmp
update: true
- name: Run CMake (MingW)
if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
run: |
mkdir build
cd build
cmake -DSEED= -DBENCH=0 -DARITH=gmp -G "Unix Makefiles" ..
- name: Run CMake (standard)
if: ${{ !(runner.os == 'Windows') }}
run: |
mkdir build
cd build
cmake -DCMAKE_C_COMPILER=${{ matrix.config.cc }} -DSEED= -DBENCH=0 -DARITH=gmp ..
- name: CMake Build
run: cmake --build build
- name: CMake Test
run: |
cd build
ctest --verbose .