Create and publish releases

Updates header links script to handle duplicate header texts. #283

Sign in to view logs

Triggered via pull request November 7, 2024 07:54

closed #1263

1262-handle-duplicate-headings-in-the-header-links-script

Status Skipped

Total duration 2s

Artifacts –

create_and_publish_releases.yml

on: pull_request