Skip to content

Actions: tmcgilchrist/ocaml

Actions

Hygiene

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hygiene.yml
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use '$' instead of '.' to separate module names in symbol names. Hygiene #45: Pull request #4 synchronize by tmcgilchrist
July 1, 2024 01:54 50s name_mangling_mod_dollar_dollar
name_mangling_mod_dollar_dollar
July 1, 2024 01:54 50s
Use '$' instead of '.' to separate module names in symbol names. Hygiene #44: Pull request #4 opened by tmcgilchrist
July 1, 2024 01:52 53s name_mangling_mod_dollar_dollar
name_mangling_mod_dollar_dollar
July 1, 2024 01:52 53s
Merge pull request #13270 from yallop/13228-reviewer Hygiene #43: Commit 74e5375 pushed by tmcgilchrist
July 1, 2024 01:52 2m 39s trunk
trunk
July 1, 2024 01:52 2m 39s
Merge pull request #13244 from shindere/restore-c-cpp-config-vars Hygiene #42: Commit 04c90bf pushed by tmcgilchrist
June 26, 2024 03:05 2m 50s trunk
trunk
June 26, 2024 03:05 2m 50s
Merge pull request #11996 from shindere/emancipate-dynlink-from-compi… Hygiene #41: Commit f1c2857 pushed by tmcgilchrist
June 18, 2024 10:34 2m 49s trunk
trunk
June 18, 2024 10:34 2m 49s
Merge pull request #13209 from nojb/ar_supports_at_file_fix Hygiene #40: Commit 23d8967 pushed by tmcgilchrist
June 3, 2024 01:15 3m 1s trunk
trunk
June 3, 2024 01:15 3m 1s
Macos debug Hygiene #39: Pull request #3 synchronize by tmcgilchrist
May 29, 2024 05:01 1m 13s macos_debug
macos_debug
May 29, 2024 05:01 1m 13s
Macos debug Hygiene #38: Pull request #3 synchronize by tmcgilchrist
May 29, 2024 03:44 1m 22s macos_debug
macos_debug
May 29, 2024 03:44 1m 22s
Macos debug Hygiene #37: Pull request #3 synchronize by tmcgilchrist
May 29, 2024 03:29 1m 29s macos_debug
macos_debug
May 29, 2024 03:29 1m 29s
Add reviewer names to Changes entry for PR #13200 Hygiene #36: Commit bb119d1 pushed by tmcgilchrist
May 29, 2024 03:24 3m 26s trunk
trunk
May 29, 2024 03:24 3m 26s
Macos debug Hygiene #35: Pull request #3 opened by tmcgilchrist
May 29, 2024 03:23 2m 0s macos_debug
macos_debug
May 29, 2024 03:23 2m 0s
[minor] reword dynarray mli: position -> index Hygiene #34: Commit 27ef9e3 pushed by tmcgilchrist
May 5, 2024 22:51 3m 0s trunk
trunk
May 5, 2024 22:51 3m 0s
Manual: caution about custom block finalizers (#13045) Hygiene #33: Commit 587e9a2 pushed by tmcgilchrist
April 30, 2024 06:10 2m 44s trunk
trunk
April 30, 2024 06:10 2m 44s
Update build.yml Hygiene #32: Pull request #2 synchronize by tmcgilchrist
April 3, 2024 00:45 52s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 3, 2024 00:45 52s
Update build.yml Hygiene #31: Pull request #2 synchronize by tmcgilchrist
April 3, 2024 00:11 1m 20s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 3, 2024 00:11 1m 20s
Update build.yml Hygiene #30: Pull request #2 reopened by tmcgilchrist
April 3, 2024 00:10 1m 11s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 3, 2024 00:10 1m 11s
Perform CI builds on macOS 14, both ARM64 and x86_64. Hygiene #29: Pull request #1 synchronize by tmcgilchrist
April 2, 2024 06:55 1m 5s macos-ci-updates
macos-ci-updates
April 2, 2024 06:55 1m 5s
Update build.yml Hygiene #28: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 06:14 54s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 06:14 54s
Update build.yml Hygiene #27: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 06:11 1m 5s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 06:11 1m 5s
Update build.yml Hygiene #26: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:59 55s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:59 55s
Update build.yml Hygiene #25: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:58 1m 1s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:58 1m 1s
Update build.yml Hygiene #24: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:57 49s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:57 49s
Update build.yml Hygiene #23: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:51 48s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:51 48s
Update build.yml Hygiene #22: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:37 52s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:37 52s
Perform CI builds on macOS 14, both ARM64 and x86_64. Hygiene #21: Pull request #1 synchronize by tmcgilchrist
April 2, 2024 05:32 54s macos-ci-updates
macos-ci-updates
April 2, 2024 05:32 54s