Skip to content

Actions: ocaml/ocaml-re

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,027 workflow runs
1,027 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Opam package: add missing test dependencies
build #1041: Commit c467b67 pushed by vouillon
October 19, 2024 11:58 2m 23s ci
ci
October 19, 2024 11:58 2m 23s
Opam package: add missing test dependencies
build #1040: Commit 0ed2f51 pushed by vouillon
October 19, 2024 10:35 7m 5s ci
ci
October 19, 2024 10:35 7m 5s
Opam package: add missing test dependencies
build #1039: Commit 550089d pushed by vouillon
October 18, 2024 21:56 5m 23s ci
ci
October 18, 2024 21:56 5m 23s
Opam package: add missing test dependencies
build #1038: Commit 862369f pushed by vouillon
October 18, 2024 21:48 1m 15s ci
ci
October 18, 2024 21:48 1m 15s
Opam package: add missing test dependencies
build #1037: Commit 932e1b8 pushed by vouillon
October 18, 2024 21:31 1m 45s ci
ci
October 18, 2024 21:31 1m 45s
Opam package: add missing test dependencies
build #1036: Commit 2dfcf60 pushed by vouillon
October 18, 2024 21:22 2m 28s ci
ci
October 18, 2024 21:22 2m 28s
Fix CI
build #1035: Commit 9bcae05 pushed by vouillon
October 18, 2024 21:19 4m 21s ci
ci
October 18, 2024 21:19 4m 21s
Re.Str: make split functions tail-recursive
build #1034: Pull request #539 opened by vouillon
October 18, 2024 20:44 4m 16s tail-rec
October 18, 2024 20:44 4m 16s
Re.Str: make split functions tail-recursive
build #1033: Commit 5203b4f pushed by vouillon
October 18, 2024 20:44 4m 30s tail-rec
October 18, 2024 20:44 4m 30s
Fix Pcre.split
build #1032: Pull request #538 opened by vouillon
October 18, 2024 20:41 4m 40s pcre-split
October 18, 2024 20:41 4m 40s
Fix Pcre.split
build #1031: Commit dd50abc pushed by vouillon
October 18, 2024 20:41 4m 34s pcre-split
October 18, 2024 20:41 4m 34s
bench: shared prefixes bench (#537)
build #1030: Commit 23283e7 pushed by rgrinberg
October 18, 2024 16:34 4m 30s master
October 18, 2024 16:34 4m 30s
bench: shared prefixes bench
build #1029: Pull request #537 opened by rgrinberg
October 18, 2024 07:38 52s push-nlkyuqrysrtw
October 18, 2024 07:38 52s
bench: shared prefixes bench
build #1028: Commit 48a6437 pushed by rgrinberg
October 18, 2024 07:38 4m 30s push-nlkyuqrysrtw
October 18, 2024 07:38 4m 30s
chore: add executable to compare benchmarks (#536)
build #1027: Commit a407e51 pushed by rgrinberg
October 17, 2024 20:43 4m 34s master
October 17, 2024 20:43 4m 34s
chore: add executable to compare benchmarks
build #1026: Pull request #536 synchronize by rgrinberg
October 17, 2024 20:42 4m 49s push-xtwrzvvyrnst
October 17, 2024 20:42 4m 49s
chore: add executable to compare benchmarks
build #1025: Commit f226ec0 pushed by rgrinberg
October 17, 2024 20:42 4m 36s push-xtwrzvvyrnst
October 17, 2024 20:42 4m 36s
feature: add streaming interface
build #1024: Pull request #456 synchronize by rgrinberg
October 15, 2024 16:51 4m 23s push-swqzxlpyntyk
October 15, 2024 16:51 4m 23s
feature: add streaming interface
build #1023: Commit 5237aa4 pushed by rgrinberg
October 15, 2024 16:51 4m 36s push-swqzxlpyntyk
October 15, 2024 16:51 4m 36s
chore: add executable to compare benchmarks
build #1022: Pull request #536 synchronize by rgrinberg
October 15, 2024 16:50 4m 26s push-xtwrzvvyrnst
October 15, 2024 16:50 4m 26s
chore: add executable to compare benchmarks
build #1021: Commit 1dd019a pushed by rgrinberg
October 15, 2024 16:50 4m 28s push-xtwrzvvyrnst
October 15, 2024 16:50 4m 28s
chore: add executable to compare benchmarks
build #1020: Pull request #536 opened by rgrinberg
October 15, 2024 16:49 4m 19s push-xtwrzvvyrnst
October 15, 2024 16:49 4m 19s
chore: add executable to compare benchmarks
build #1019: Commit d189bc9 pushed by rgrinberg
October 15, 2024 16:49 4m 27s push-xtwrzvvyrnst
October 15, 2024 16:49 4m 27s
refactor: optimize small n# of groups matching (#535)
build #1018: Commit 7b05eba pushed by rgrinberg
October 15, 2024 16:46 4m 28s master
October 15, 2024 16:46 4m 28s
refactor: optimize small n# of groups matching
build #1017: Pull request #535 opened by rgrinberg
October 14, 2024 21:27 4m 38s push-rxxqvswoqyyp
October 14, 2024 21:27 4m 38s