Skip to content

Merge pull request #291 from jan-ivar/mayhints #292

Merge pull request #291 from jan-ivar/mayhints

Merge pull request #291 from jan-ivar/mayhints #292

Triggered via push December 14, 2023 15:40
Status Success
Total duration 1m 54s
Artifacts 1

auto-publish.yml

on: push
Validate and Publish
1m 46s
Validate and Publish
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
spec-prod-result Expired
655 KB