Build pull request

Optionally skip ci based on a label in the pr #3583

Sign in to view logs

Triggered via push December 19, 2023 00:12

copy-pr-bot[bot]

pull-request/1444

Status Success

Total duration 43s

Artifacts –

pull_request.yml

on: push

CI Pipeline / Build

CI Pipeline / Check

CI Pipeline / Test

CI Pipeline / Documentation