Skip to content

Commit ce765a5

Browse files
committed
Merge bitcoin-core/secp256k1#1399: ci, gha: Run "SageMath prover" job on GitHub Actions
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
2 parents 8d2960c + 8408dfd commit ce765a5

File tree

3 files changed

+17
-9
lines changed

3 files changed

+17
-9
lines changed

.cirrus.yml

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -371,10 +371,3 @@ task:
371371
- g++ -Werror include/*.h
372372
- clang -Werror -x c++-header include/*.h
373373
- /opt/msvc/bin/x64/cl.exe -c -WX -TP include/*.h
374-
375-
task:
376-
name: "sage prover"
377-
<< : *LINUX_CONTAINER
378-
test_script:
379-
- cd sage
380-
- sage prove_group_implementations.sage

.github/workflows/ci.yml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,3 +37,19 @@ jobs:
3737
build\src\RelWithDebInfo\bench_ecmult.exe
3838
build\src\RelWithDebInfo\bench_internal.exe
3939
build\src\RelWithDebInfo\bench.exe
40+
41+
sage:
42+
name: "SageMath prover"
43+
runs-on: ubuntu-latest
44+
container:
45+
image: sagemath/sagemath:latest
46+
options: --user root
47+
48+
steps:
49+
- name: Checkout
50+
uses: actions/checkout@v3
51+
52+
- name: CI script
53+
run: |
54+
cd sage
55+
sage prove_group_implementations.sage

ci/linux-debian.Dockerfile

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,7 @@ RUN apt-get update && apt-get install --no-install-recommends -y \
2121
gcc-aarch64-linux-gnu libc6-dev-arm64-cross libc6-dbg:arm64 \
2222
gcc-powerpc64le-linux-gnu libc6-dev-ppc64el-cross libc6-dbg:ppc64el \
2323
gcc-mingw-w64-x86-64-win32 wine64 wine \
24-
gcc-mingw-w64-i686-win32 wine32 \
25-
sagemath
24+
gcc-mingw-w64-i686-win32 wine32
2625

2726
WORKDIR /root
2827

0 commit comments

Comments
 (0)