Merge pull request #660 from gmlueck/gmlueck/cherry-pick-642 #999

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 7, 2024 21:35

gmlueck

main

Status Success

Total duration 2m 46s

Artifacts 1

CI.yml

on: push

Artifacts

Produced during runtime

Name	Size
spec-outputs	4.68 MB