Skip to content

Actions: mransan/ocaml-protoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
334 workflow runs
334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

large refactor, plugins, single-file codegen build #113: Pull request #213 synchronize by c-cube
September 10, 2023 03:34 4m 38s wip-refactor-2023-09-08
wip-refactor-2023-09-08
September 10, 2023 03:34 4m 38s
large refactor, plugins, single-file codegen build #112: Pull request #213 synchronize by c-cube
September 10, 2023 02:17 4m 30s wip-refactor-2023-09-08
wip-refactor-2023-09-08
September 10, 2023 02:17 4m 30s
large refactor, plugins, single-file codegen build #111: Pull request #213 opened by c-cube
September 9, 2023 03:02 4m 17s wip-refactor-2023-09-08
wip-refactor-2023-09-08
September 9, 2023 03:02 4m 17s
pages build and deployment pages-build-deployment #18: by github-pages bot
September 9, 2023 01:23 53s
September 9, 2023 01:23 53s
try to encode empty messages to BS github pages #30: Commit a728b66 pushed by c-cube
September 9, 2023 01:12 11m 12s master
master
September 9, 2023 01:12 11m 12s
try to encode empty messages to BS build #110: Commit a728b66 pushed by c-cube
September 9, 2023 01:12 10m 53s master
master
September 9, 2023 01:12 10m 53s
try to encode empty messages to BS build #109: Pull request #208 synchronize by c-cube
September 9, 2023 00:44 9m 50s wip-encode-null-bs
wip-encode-null-bs
September 9, 2023 00:44 9m 50s
unified code generation build #108: Pull request #207 synchronize by c-cube
September 9, 2023 00:42 5m 36s wip-unified
wip-unified
September 9, 2023 00:42 5m 36s
new benchmarks for pbrt build #107: Pull request #212 opened by c-cube
September 8, 2023 04:15 10m 14s more-benchs-2023-09-08
more-benchs-2023-09-08
September 8, 2023 04:15 10m 14s
unified code generation build #106: Pull request #207 synchronize by c-cube
September 8, 2023 02:42 8m 43s wip-unified
wip-unified
September 8, 2023 02:42 8m 43s
pages build and deployment pages-build-deployment #17: by github-pages bot
August 29, 2023 15:12 1m 2s
August 29, 2023 15:12 1m 2s
Support maps/lists in options github pages #29: Commit fa3ae28 pushed by c-cube
August 29, 2023 15:06 5m 56s master
master
August 29, 2023 15:06 5m 56s
Support maps/lists in options build #105: Commit fa3ae28 pushed by c-cube
August 29, 2023 15:06 4m 20s master
master
August 29, 2023 15:06 4m 20s
Support maps/lists in options build #104: Pull request #210 opened by Lupus
August 28, 2023 17:19 5m 2s Lupus:option-parsing-improvements-mk2
Lupus:option-parsing-improvements-mk2
August 28, 2023 17:19 5m 2s
pages build and deployment pages-build-deployment #16: by github-pages bot
August 28, 2023 16:34 1m 2s
August 28, 2023 16:34 1m 2s
Merge pull request #209 from Lupus/parse-error-improvements build #103: Commit ed168a9 pushed by c-cube
August 28, 2023 16:28 9m 20s master
master
August 28, 2023 16:28 9m 20s
Merge pull request #209 from Lupus/parse-error-improvements github pages #28: Commit ed168a9 pushed by c-cube
August 28, 2023 16:28 6m 44s master
master
August 28, 2023 16:28 6m 44s
Improve parse error reporting build #102: Pull request #209 synchronize by Lupus
August 28, 2023 16:14 11m 35s Lupus:parse-error-improvements
Lupus:parse-error-improvements
August 28, 2023 16:14 11m 35s
Improve parse error reporting build #101: Pull request #209 synchronize by Lupus
August 28, 2023 14:50 6m 59s Lupus:parse-error-improvements
Lupus:parse-error-improvements
August 28, 2023 14:50 6m 59s
Improve parse error reporting build #100: Pull request #209 opened by Lupus
August 28, 2023 14:15 8m 54s Lupus:parse-error-improvements
Lupus:parse-error-improvements
August 28, 2023 14:15 8m 54s
try to encode empty messages to BS build #99: Pull request #208 opened by c-cube
August 23, 2023 23:49 7m 56s wip-encode-null-bs
wip-encode-null-bs
August 23, 2023 23:49 7m 56s
pages build and deployment pages-build-deployment #15: by github-pages bot
August 23, 2023 14:39 1m 0s
August 23, 2023 14:39 1m 0s
pages build and deployment pages-build-deployment #14: by github-pages bot
August 23, 2023 14:38 43s
August 23, 2023 14:38 43s
unified code generation build #98: Pull request #207 opened by c-cube
August 23, 2023 14:37 8m 10s wip-unified
wip-unified
August 23, 2023 14:37 8m 10s
fix build build #97: Commit 88f4e00 pushed by c-cube
August 23, 2023 14:33 7m 24s master
master
August 23, 2023 14:33 7m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.