GitHub Bot

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

Sign in to view logs

Triggered via pull request January 21, 2025 13:12

Gno2D2

unlabeled #3538

Status Skipped

Total duration 3s

Artifacts –

bot.yml

on: pull_request_target

Define PRs matrix

Persist PR number for proxy

Matrix: Process PR