Skip to content
Run linters

MODIFIED: make anchor jump repeatable #155

Sign in to view logs

MODIFIED: make anchor jump repeatable

MODIFIED: make anchor jump repeatable #155

Triggered via pull request October 31, 2023 14:58
@sd-ditoysd-ditoy
opened #72
repeatable-anchor-jump
Status Success
Total duration 6m 28s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

linters.yml

on: pull_request
run-linters
6m 17s
run-linters
Fit to window
Zoom out
Zoom in