Skip to content

Merge branch 'main' into feature_sire #34

Merge branch 'main' into feature_sire

Merge branch 'main' into feature_sire #34

Triggered via push November 30, 2023 12:10
Status Success
Total duration 14s
Artifacts

main.yaml

on: push
pre_job
3s
pre_job
Matrix: build
Fit to window
Zoom out
Zoom in