Getting Started Documentation

Organisations mbarbin crs branch/main Build History

Build History for branch/main

Builds (29)

Merge pull request #42 from mbarbin/customize-grep Add two customizable variables to Emacs crs-grep

Jun 27 10:27 +00:00

Failed in 4m29s

Jun 27 10:06 +00:00

Failed in 17m25s

Prepare changelog

Jun 26 13:45 +00:00

Passed in 5m00s

Merge pull request #41 from mbarbin/summary-content Summary content

Jun 26 13:27 +00:00

Passed in 8m15s

Merge pull request #40 from mbarbin/annotate-crs Annotate CRs

Jun 26 12:10 +00:00

Passed in 45m00s

Merge pull request #39 from mbarbin/reset-indent Reset indent

Jun 26 09:07 +00:00

Passed in 41m23s

Merge pull request #38 from mbarbin/terminology Terminology

Jun 25 14:47 +00:00

Passed in 5m31s

Fix checkout at tag

Jun 25 05:55 +00:00

Failed in 2h25m

Add release-artifacts workflow for pre-built binaries

Jun 25 04:43 +00:00

Failed in 1h05m

Merge pull request #35 from mbarbin/improve-reindent Fix multi-lines comment rendering with comment prefix

Jun 21 17:10 +00:00

Passed in 4m54s

Merge pull request #34 from mbarbin/improve-grep-mode-paths Improve emacs cr-grep-mode

Jun 21 15:46 +00:00

Passed in 1h00m

Merge pull request #33 from mbarbin/xargs-123 Fix handling of xargs exit code 123

Jun 21 15:31 +00:00

Prepare release

Jun 20 14:36 +00:00

Passed in 1m17s

Merge pull request #31 from mbarbin/emacs-filter Emacs filter

Jun 20 14:33 +00:00

Failed in 2m36s

Merge pull request #30 from mbarbin/filter Add support for filter flags

Jun 20 11:14 +00:00

Passed in 35m42s

Add attribution for printbox

Jun 19 21:37 +00:00

Passed in 35m48s

Merge pull request #28 from mbarbin/printbox Use printbox

Jun 19 21:33 +00:00

Passed in 3m20s

Merge pull request #29 from mbarbin/remove-ppx-let Remove ppx let

Jun 19 19:25 +00:00

Passed in 2m23s

Merge pull request #26 from mbarbin/improve-doc Improve odoc documentation

Jun 18 22:59 +00:00

Merge pull request #25 from mbarbin/improve-coverage Improve coverage

Jun 18 21:27 +00:00

Passed in 12m46s

Merge pull request #24 from mbarbin/grep-show-sexp-locations Grep show sexp locations

Jun 18 20:33 +00:00

Failed in 34m57s

Merge pull request #23 from mbarbin/fix-tests Fix usage of echo in tests

Jun 18 19:56 +00:00

Failed in 35m07s

Merge pull request #22 from mbarbin/xargs-1 Add xargs test

Jun 18 06:22 +00:00

Failed in 7m48s

Merge pull request #21 from mbarbin/macos-ci Enable macos in GitHub CI

Jun 18 05:59 +00:00

Failed in 4m23s

Merge pull request #20 from mbarbin/edit-ci Use 5.3 and enable more workflows in CI

Jun 18 05:40 +00:00

Failed in 6m16s

Merge pull request #19 from mbarbin/improve-ci Improve ci failures

Jun 18 05:07 +00:00

Failed in 4m34s

Merge pull request #17 from mbarbin/ocaml-re Switch regexps dependency from re2 to ocaml-re

Jun 17 15:03 +00:00

Failed in 2h51m

Merge pull request #16 from mbarbin/spawn-and-pager Spawn and pager

Jun 17 07:58 +00:00

Failed in 9m06s

Bump volgo deps bound

Jun 17 07:24 +00:00

Failed in 14m48s