Skip to content

Rename "herd privacy" to "group privacy". #116

Rename "herd privacy" to "group privacy".

Rename "herd privacy" to "group privacy". #116

Triggered via pull request December 30, 2023 16:16
Status Success
Total duration 1m 19s
Artifacts 1

auto-publish.yml

on: pull_request
Build, Validate and Deploy
1m 12s
Build, Validate and Deploy
Fit to window
Zoom out
Zoom in

Artifacts

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