Solves one item in #1392 partially.
Requested in #1398 (comment).
ci, gha: Run "SageMath prover" job on GitHub Actions #1399
pull hebasto wants to merge 2 commits into bitcoin-core:master from hebasto:230814-gha-sage changing 3 files +17 −9-
hebasto commented at 1:30 PM on August 14, 2023: member
-
ci, gha: Run "SageMath prover" job on GitHub Actions c8d9914fb1
-
8408dfdc4c
Revert "ci: Run sage prover on CI"
This reverts commit d8d54859ed138a8ed9a8486d847155211c9f4a7d.
- real-or-random approved
-
real-or-random commented at 1:39 PM on August 14, 2023: contributor
utACK 8408dfdc4cfcc5cf87ac0a7d229f8a1c1d63128a
Let's also wait and see what cirrus says. (I mean, we just removed a task, so nothing should be broken but you never know...)
-
jonasnick commented at 11:49 AM on August 15, 2023: contributor
ACK 8408dfdc4cfcc5cf87ac0a7d229f8a1c1d63128a
- jonasnick merged this on Aug 15, 2023
- jonasnick closed this on Aug 15, 2023
- real-or-random added the label ci on Aug 15, 2023
- hebasto deleted the branch on Aug 15, 2023
- sipa referenced this in commit c0da4f60e2 on Sep 4, 2023
- Retropex referenced this in commit 5f62ed90f6 on Oct 4, 2023
- real-or-random referenced this in commit d575ef9aca on Oct 12, 2023
- janus referenced this in commit 1097330147 on Apr 1, 2024
- hebasto referenced this in commit b6de625950 on May 11, 2024
- delta1 referenced this in commit 6089844b3c on Apr 2, 2025
- div72 referenced this in commit af627d47c3 on Apr 12, 2025
- str4d referenced this in commit b9e749419a on Jun 4, 2025
- Fabcien referenced this in commit 8f91534db6 on Jan 31, 2026
- Fabcien referenced this in commit ab4a67a395 on Jan 31, 2026
