ci: Drop no longer needed workaround #70

Sign in to view logs

Triggered via pull request August 20, 2023 11:13

hebasto

opened #1405

hebasto:230820-ci-s390x

Status Success

Total duration 11m 47s

Artifacts –

ci.yml

on: pull_request

Build Docker image

x64 (MSVC): C++ (public headers)

SageMath prover

Matrix: x86_64: macOS Ventura

Matrix: win64-native

Matrix: mingw_debian