Skip to content

fix!: map GitHub 'IMPORTANT' admonition to docusaurus 'info' admonition (fixes #6) #12

fix!: map GitHub 'IMPORTANT' admonition to docusaurus 'info' admonition (fixes #6)

fix!: map GitHub 'IMPORTANT' admonition to docusaurus 'info' admonition (fixes #6) #12

Re-run triggered September 5, 2024 09:40
Status Cancelled
Total duration 6s
Artifacts

pr-title.yml

on: pull_request
Check PR Title
Check PR Title
Fit to window
Zoom out
Zoom in

Annotations

1 error
PR Title
Canceling since a higher priority waiting request for 'PR Title-refs/pull/7/merge' exists