Skip to content

chore: allow docs approvers to merge USERS.md changes (#15773) #12

chore: allow docs approvers to merge USERS.md changes (#15773)

chore: allow docs approvers to merge USERS.md changes (#15773) #12

Triggered via push October 3, 2023 11:20
Status Skipped
Total duration 6s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

image.yaml

on: push
set-vars
0s
set-vars
build-and-publish  /  publish
build-and-publish / publish
build-only  /  publish
build-only / publish
build-and-publish-provenance  /  detect-env
build-and-publish-provenance / detect-env
build-and-publish-provenance  /  generator
build-and-publish-provenance / generator
build-and-publish-provenance  /  final
build-and-publish-provenance / final
Fit to window
Zoom out
Zoom in