Skip to content

Merge pull request #812 from gwenn/highlight_char #924

Merge pull request #812 from gwenn/highlight_char

Merge pull request #812 from gwenn/highlight_char #924

Triggered via push October 7, 2024 12:33
Status Success
Total duration 1m 29s
Artifacts

rust.yml

on: push
Test min versions
30s
Test min versions
Matrix: build
Fit to window
Zoom out
Zoom in