Check HTML generation

Add title attributes to <iref> and <paper> links #364

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request January 27, 2024 12:26

jwakely

synchronize #423

jwakely:title-attrs

Status Success

Total duration 1m 7s

Artifacts –

check-build.yml

on: pull_request