Skip to content

Improve tag/symbol finding, <> and {} handling #720

Improve tag/symbol finding, <> and {} handling

Improve tag/symbol finding, <> and {} handling #720

Triggered via pull request December 1, 2023 12:20
@rswgnurswgnu
synchronize #407
rsw
Status Success
Total duration 1m 14s
Artifacts

main.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in