Pipeline

Update sources (#1120) #3672

Sign in to view logs

Triggered via push October 20, 2023 21:20

anmonteiro

master

Status Success

Total duration 16m 45s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pipeline.yml

on: push

Matrix: cross-compilers

Matrix: native-linux

Matrix: native-macos

Matrix: top-level-packages