Skip to content

Actions: ocaml/ocaml

Actions

Hygiene

Actions

Loading...
Loading

Showing runs from all workflows named Hygiene
3,793 workflow run results
3,793 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #14374: pattern matching is exhaustive in the case of gadt indexed by non-overlapping closed polymorphic variants Hygiene #17935: Pull request #14379 labeled by gasche
56s Alex1005a:fix14374
Alex1005a:fix14374
56s
Draft: Add Merlin's Typing recovery Hygiene #17934: Pull request #14241 synchronize by xvw
54s xvw:merlin-type-recovery-upstreaming
xvw:merlin-type-recovery-upstreaming
54s
Draft: Add Merlin's Typing recovery Hygiene #17933: Pull request #14241 synchronize by xvw
1m 5s xvw:merlin-type-recovery-upstreaming
xvw:merlin-type-recovery-upstreaming
1m 5s
Draft: Add Merlin's Typing recovery Hygiene #17932: Pull request #14241 synchronize by xvw
1m 5s xvw:merlin-type-recovery-upstreaming
xvw:merlin-type-recovery-upstreaming
1m 5s
dune improvements (#14408) Hygiene #17931: Commit 2d6a35d pushed by nojb
2m 14s trunk
trunk
2m 14s
Merge pull request #14244 from dra27/enable-relative Hygiene #17930: Commit cfbf210 pushed by gasche
2m 24s trunk
trunk
2m 24s
dune improvements Hygiene #17929: Pull request #14408 labeled by gasche
54s Alizter:push-wupwlxrvmqsr
Alizter:push-wupwlxrvmqsr
54s
dune improvements Hygiene #17928: Pull request #14408 synchronize by gasche
42s Alizter:push-wupwlxrvmqsr
Alizter:push-wupwlxrvmqsr
42s
dune improvements Hygiene #17927: Pull request #14408 labeled by nojb
1m 8s Alizter:push-wupwlxrvmqsr
Alizter:push-wupwlxrvmqsr
1m 8s
Draft: Add Merlin's Typing recovery Hygiene #17926: Pull request #14241 synchronize by xvw
56s xvw:merlin-type-recovery-upstreaming
xvw:merlin-type-recovery-upstreaming
56s
Draft: Add Merlin's Typing recovery Hygiene #17925: Pull request #14241 synchronize by xvw
55s xvw:merlin-type-recovery-upstreaming
xvw:merlin-type-recovery-upstreaming
55s
Draft: Add Merlin's Typing recovery Hygiene #17924: Pull request #14241 synchronize by xvw
1m 2s xvw:merlin-type-recovery-upstreaming
xvw:merlin-type-recovery-upstreaming
1m 2s
dune improvements Hygiene #17923: Pull request #14408 opened by Alizter
1m 16s Alizter:push-wupwlxrvmqsr
Alizter:push-wupwlxrvmqsr
1m 16s
feat(typing)!: remove support for let rec (module ...) Hygiene #17922: Pull request #14388 synchronize by johnyob
54s johnyob:ajob410@remove-let-rec-module
johnyob:ajob410@remove-let-rec-module
54s
Unix socket Hygiene #17921: Pull request #14406 synchronize by Sylvain78
51s Sylvain78:unix_socket
Sylvain78:unix_socket
51s
Unix socket Hygiene #17920: Pull request #14406 synchronize by Sylvain78
55s Sylvain78:unix_socket
Sylvain78:unix_socket
55s
Unix socket Hygiene #17919: Pull request #14406 synchronize by Sylvain78
45s Sylvain78:unix_socket
Sylvain78:unix_socket
45s
Fix AsciiDoc files, add more markup, xrefs, documentation Hygiene #17918: Pull request #14392 synchronize by MisterDA
49s MisterDA:asciidoctor
MisterDA:asciidoctor
49s
Fix AsciiDoc files, add more markup, xrefs, documentation Hygiene #17917: Pull request #14392 synchronize by MisterDA
56s MisterDA:asciidoctor
MisterDA:asciidoctor
56s
Unix socket Hygiene #17916: Pull request #14406 synchronize by Sylvain78
51s Sylvain78:unix_socket
Sylvain78:unix_socket
51s
Unix socket Hygiene #17915: Pull request #14406 synchronize by Sylvain78
1m 4s Sylvain78:unix_socket
Sylvain78:unix_socket
1m 4s
Unix socket Hygiene #17914: Pull request #14406 synchronize by Sylvain78
52s Sylvain78:unix_socket
Sylvain78:unix_socket
52s
Unix socket Hygiene #17913: Pull request #14406 synchronize by Sylvain78
53s Sylvain78:unix_socket
Sylvain78:unix_socket
53s
Relocatable OCaml - --with-relative-libdir Hygiene #17912: Pull request #14244 synchronize by dra27
56s dra27:enable-relative
dra27:enable-relative
56s
Fix AsciiDoc files, add more markup, xrefs, documentation Hygiene #17911: Pull request #14392 synchronize by MisterDA
56s MisterDA:asciidoctor
MisterDA:asciidoctor
56s