Skip to content

ci, gha: Run "SageMath prover" job on GitHub Actions #20

ci, gha: Run "SageMath prover" job on GitHub Actions

ci, gha: Run "SageMath prover" job on GitHub Actions #20

Workflow file for this run

name: CI
on:
pull_request:
push:
branches:
- '**'
tags-ignore:
- '**'
env:
SECP256K1_BENCH_ITERS: 2
jobs:
win64-native:
name: "x86_64: Windows, VS 2022"
# See: https://github.com/actions/runner-images#available-images.
runs-on: windows-2022
strategy:
fail-fast: false
matrix:
lib_type: ['shared', 'static']
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Generate buildsystem
run: cmake -E env CFLAGS="/WX" cmake -B build -A x64 -DSECP256K1_ENABLE_MODULE_RECOVERY=ON -DSECP256K1_BUILD_EXAMPLES=ON -DBUILD_SHARED_LIBS=${{ matrix.lib_type == 'shared' && 'ON' || 'OFF' }}
- name: Build
run: cmake --build build --config RelWithDebInfo -- /p:UseMultiToolTask=true /maxCpuCount
- name: Check
run: |
ctest -C RelWithDebInfo --test-dir build -j ([int]$env:NUMBER_OF_PROCESSORS + 1)
build\src\RelWithDebInfo\bench_ecmult.exe
build\src\RelWithDebInfo\bench_internal.exe
build\src\RelWithDebInfo\bench.exe
sage:
name: "SageMath prover"
runs-on: ubuntu-latest
container:
image: sagemath/sagemath:latest
options: --user root
steps:
- name: Checkout
uses: actions/checkout@v3
- name: CI script
run: |
cd sage
sage prove_group_implementations.sage