Hennadii Stepanov d62db57427 ci: Use Homebrew's gcc in native macOS task ...

Co-authored-by: Tim Ruffing <crypto@timruffing.de>

2023-08-16 14:39:58 +01:00

..

cirrus.sh

ci: Use Homebrew's gcc in native macOS task

2023-08-16 14:39:58 +01:00

linux-debian.Dockerfile

Revert "ci: Run sage prover on CI"

2023-08-14 14:28:54 +01:00