Skip to content
HLint

Fix read-the-docs "Edit on Github" button #3447

Sign in to view logs

Fix read-the-docs "Edit on Github" button

Fix read-the-docs "Edit on Github" button #3447

Triggered via pull request August 9, 2023 08:14
@catch-21catch-21
opened #5464
jamesbro/fix-RTD-edit-button
Status Success
Total duration 1m 56s
Artifacts –

hlint.yml

on: pull_request
hlint
1m 44s
hlint
Fit to window
Zoom out
Zoom in