GitHub Bot

fix(gnoweb): titles missing id and toc anchors #9905

Sign in to view logs

Triggered via pull request January 21, 2025 12:25

Gno2D2

labeled #3538

Status Skipped

Total duration 4s

Artifacts –

bot.yml

on: pull_request_target

Define PRs matrix

Persist PR number for proxy

Matrix: Process PR