Skip to content

Actions: BurntSushi/ripgrep

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow run results
16 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci
ci #2310: Scheduled
October 14, 2023 01:22 11m 33s master
October 14, 2023 01:22 11m 33s
ci
ci #2309: Scheduled
October 13, 2023 01:25 10m 30s master
October 13, 2023 01:25 10m 30s
various rollup + move off of Clap to lexopt
ci #2308: Pull request #2626 opened by BurntSushi
October 12, 2023 15:22 6m 58s ag/more-work
October 12, 2023 15:22 6m 58s
ci
ci #2307: Scheduled
October 12, 2023 01:22 11m 23s master
October 12, 2023 01:22 11m 23s
ci
ci #2304: Scheduled
October 11, 2023 01:23 11m 13s master
October 11, 2023 01:23 11m 13s
ci
ci #2303: Scheduled
October 10, 2023 01:23 11m 57s master
October 10, 2023 01:23 11m 57s
cargo: remove dependency patches
ci #2302: Commit 7099e17 pushed by BurntSushi
October 10, 2023 00:29 7m 13s master
October 10, 2023 00:29 7m 13s
lots of little polishing
ci #2301: Pull request #2614 synchronize by BurntSushi
October 10, 2023 00:14 8m 15s ag/polish
October 10, 2023 00:14 8m 15s
lots of little polishing
ci #2300: Pull request #2614 synchronize by BurntSushi
October 10, 2023 00:07 1m 28s ag/polish
October 10, 2023 00:07 1m 28s
ci
ci #2299: Scheduled
October 9, 2023 01:23 11m 46s master
October 9, 2023 01:23 11m 46s
ci
ci #2298: Scheduled
October 8, 2023 01:26 13m 18s master
October 8, 2023 01:26 13m 18s
ci
ci #2297: Scheduled
October 7, 2023 01:22 11m 25s master
October 7, 2023 01:22 11m 25s