submit: Recreate navigation comment if deleted externally (#1006) · abhinav/git-spice@be05df0

Triggered via push February 1, 2026 23:39

abhinav

main

Status Success

Total duration 1m 24s

Artifacts 1

doc.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	16.9 MB	`sha256:5cbe5fd0972589a3933735ce2a2c507f2b8c3c1a50459db3c4fd364f9edbe4d6`