Skip to content

[Major] Rename range_cmp -> rcmp #15

[Major] Rename range_cmp -> rcmp

[Major] Rename range_cmp -> rcmp #15

Triggered via pull request November 1, 2023 08:33
@adriendellagasperaadriendellagaspera
synchronize #5
rcmp
Status Success
Total duration 29s
Artifacts

ci.yml

on: pull_request
lint-and-test
20s
lint-and-test
Fit to window
Zoom out
Zoom in