Skip to content

Merge pull request #639 from gmlueck/gmlueck/cherry-pick-637 #950

Merge pull request #639 from gmlueck/gmlueck/cherry-pick-637

Merge pull request #639 from gmlueck/gmlueck/cherry-pick-637 #950

Triggered via push October 4, 2024 13:59
Status Success
Total duration 2m 35s
Artifacts 1

CI.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
spec-outputs
4.68 MB