Skip to content

Merge branch 'main' into chore/automerge #507

Merge branch 'main' into chore/automerge

Merge branch 'main' into chore/automerge #507

Triggered via push September 17, 2024 08:41
Status Success
Total duration 41s
Artifacts 1

ci.yml

on: push
Matrix: spec
Matrix: test

Artifacts

Produced during runtime
Name Size
docs Expired
327 KB