Build pull request

Optionally skip the CI pipeline if the PR contains the skip-ci label #17

Sign in to view logs

Triggered via push December 19, 2023 18:28

copy-pr-bot[bot]

pull-request/426

Status Success

Total duration 1m 28s

Artifacts –

pr.yaml

on: push

checks / other-checks

checks / check-style

Matrix: CI Pipeline / Build

Waiting for pending jobs

CI Pipeline / Check

CI Pipeline / Code Coverage

Matrix: CI Pipeline / Test

Waiting for pending jobs

CI Pipeline / Benchmark

CI Pipeline / Documentation

CI Pipeline / Package

pr-builder / run