Skip to content

Actions: ocaml/ocaml-re

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
1,112 workflow runs
1,112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
push-rxxqvswoqyyp
October 14, 2024 21:27 4m 38s
refactor: optimize small n# of groups matching build #1016: Commit b156bf3 pushed by rgrinberg
October 14, 2024 21:27 4m 15s push-rxxqvswoqyyp
push-rxxqvswoqyyp
October 14, 2024 21:27 4m 15s
refactor: optimize fetching offsets when splitting (#534) build #1015: Commit c244b64 pushed by rgrinberg
October 14, 2024 21:14 4m 18s master
master
October 14, 2024 21:14 4m 18s
refactor: optimize fetching offsets when splitting build #1014: Pull request #534 opened by rgrinberg
October 14, 2024 20:57 4m 28s push-yruworsntssm
push-yruworsntssm
October 14, 2024 20:57 4m 28s
refactor: optimize fetching offsets when splitting build #1013: Commit de14b6b pushed by rgrinberg
October 14, 2024 20:57 4m 20s push-yruworsntssm
push-yruworsntssm
October 14, 2024 20:57 4m 20s
chore(bench): do not re-run memory benchmarks (#533) build #1012: Commit 65a61d6 pushed by rgrinberg
October 14, 2024 20:50 4m 13s master
master
October 14, 2024 20:50 4m 13s