Skip to content

Merge pull request #467 from gjtorikian/caseinsensitive-search #235

Merge pull request #467 from gjtorikian/caseinsensitive-search

Merge pull request #467 from gjtorikian/caseinsensitive-search #235

Triggered via push July 22, 2023 12:37
Status Success
Total duration 6m 49s
Artifacts

CI.yml

on: push
Minimum supported rust version
58s
Minimum supported rust version
Documentation checks
20s
Documentation checks
Build and test
6m 41s
Build and test
Fit to window
Zoom out
Zoom in