Skip to content

Use Prec.low rather than Prec.lowest for match highlighting #125

Use Prec.low rather than Prec.lowest for match highlighting

Use Prec.low rather than Prec.lowest for match highlighting #125

Triggered via push August 26, 2023 11:00
Status Success
Total duration 12s
Artifacts

dispatch.yml

on: push
Dispatch to main repo
2s
Dispatch to main repo
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Dispatch to main repo
The following actions uses node12 which is deprecated and will be forced to run on node16: mvasigh/dispatch-action@main. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/