Back to pull request #1410

ci: Use concurrency for pull requests only #80

Sign in to view logs

Triggered via pull request August 22, 2023 14:04

hebasto

opened #1410

hebasto:230822-concurr

Status Success

Total duration 1h 4m 5s

Artifacts –

ci.yml

on: pull_request

Build Docker image

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

SageMath prover

Matrix: x86_64: macOS Ventura

Matrix: win64-native

s390x (big-endian): Linux (Debian stable, QEMU)

ARM64: Linux (Debian stable, QEMU)

ppc64le: Linux (Debian stable, QEMU)

Matrix: ARM32: Linux (Debian stable, QEMU)

Matrix: i686: Linux (Debian stable)

Matrix: x86_64: Linux (Debian stable)

Matrix: mingw_debian