website

cli: in colocated repo, don't restore view.git_head on undo #122

Sign in to view logs

Triggered via push October 7, 2023 17:37

yuja

main

Status Success

Total duration 37s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: push

Matrix: prerelease-docs-build-deploy