Skip to content

Rename 'type' to 'types' #58

Rename 'type' to 'types'

Rename 'type' to 'types' #58

Triggered via pull request December 16, 2025 01:30
Status Success
Total duration 1m 2s
Artifacts 1

auto-publish.yml

on: pull_request
Build, Validate and Deploy
57s
Build, Validate and Deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
spec-prod-result Expired
5.12 KB
sha256:9ec40f36308894afc029843f045f8484e38e39c7ec61ffc01eb813806d0b863a