Skip to content

Commit

Permalink
Merge #1399: ci, gha: Run "SageMath prover" job on GitHub Actions
Browse files Browse the repository at this point in the history
8408dfd Revert "ci: Run sage prover on CI" (Hennadii Stepanov)
c8d9914 ci, gha: Run "SageMath prover" job on GitHub Actions (Hennadii Stepanov)

Pull request description:

ACKs for top commit:
  real-or-random:
    utACK 8408dfd
  jonasnick:
    ACK 8408dfd

Tree-SHA512: 4de628b6d5535023c5351faebfd98d2bd9effe6592f14ffe0d0f7c6eeedd7426b9891da70aa3ea7fa830f0abc054f6b015af01fb6e26f50d45eb26177a7a6310
  • Loading branch information
jonasnick committed Aug 15, 2023
2 parents 8d2960c + 8408dfd commit ce765a5
Show file tree
Hide file tree
Showing 3 changed files with 17 additions and 9 deletions.
7 changes: 0 additions & 7 deletions .cirrus.yml
Original file line number Diff line number Diff line change
Expand Up @@ -371,10 +371,3 @@ task:
- g++ -Werror include/*.h
- clang -Werror -x c++-header include/*.h
- /opt/msvc/bin/x64/cl.exe -c -WX -TP include/*.h

task:
name: "sage prover"
<< : *LINUX_CONTAINER
test_script:
- cd sage
- sage prove_group_implementations.sage
16 changes: 16 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,3 +37,19 @@ jobs:
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
3 changes: 1 addition & 2 deletions ci/linux-debian.Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,7 @@ RUN apt-get update && apt-get install --no-install-recommends -y \
gcc-aarch64-linux-gnu libc6-dev-arm64-cross libc6-dbg:arm64 \
gcc-powerpc64le-linux-gnu libc6-dev-ppc64el-cross libc6-dbg:ppc64el \
gcc-mingw-w64-x86-64-win32 wine64 wine \
gcc-mingw-w64-i686-win32 wine32 \
sagemath
gcc-mingw-w64-i686-win32 wine32

WORKDIR /root

Expand Down

0 comments on commit ce765a5

Please sign in to comment.