Skip to content

Actions: tmcgilchrist/ocaml

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Macos debug Build #36: Pull request #3 synchronize by tmcgilchrist
May 29, 2024 03:44 3m 32s macos_debug
macos_debug
May 29, 2024 03:44 3m 32s
Macos debug Build #35: Pull request #3 synchronize by tmcgilchrist
May 29, 2024 03:29 15m 34s macos_debug
macos_debug
May 29, 2024 03:29 15m 34s
Add reviewer names to Changes entry for PR #13200 Build #34: Commit bb119d1 pushed by tmcgilchrist
May 29, 2024 03:24 17m 52s trunk
trunk
May 29, 2024 03:24 17m 52s
Macos debug Build #33: Pull request #3 opened by tmcgilchrist
May 29, 2024 03:23 6m 1s macos_debug
macos_debug
May 29, 2024 03:23 6m 1s
[minor] reword dynarray mli: position -> index Build #32: Commit 27ef9e3 pushed by tmcgilchrist
May 5, 2024 22:51 17m 13s trunk
trunk
May 5, 2024 22:51 17m 13s
Manual: caution about custom block finalizers (#13045) Build #31: Commit 587e9a2 pushed by tmcgilchrist
April 30, 2024 06:10 20m 9s trunk
trunk
April 30, 2024 06:10 20m 9s
Update build.yml Build #30: Pull request #2 synchronize by tmcgilchrist
April 3, 2024 00:45 19m 32s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 3, 2024 00:45 19m 32s
Update build.yml Build #29: Pull request #2 synchronize by tmcgilchrist
April 3, 2024 00:11 21m 11s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 3, 2024 00:11 21m 11s
Update build.yml Build #28: Pull request #2 reopened by tmcgilchrist
April 3, 2024 00:10 1m 27s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 3, 2024 00:10 1m 27s
Perform CI builds on macOS 14, both ARM64 and x86_64. Build #27: Pull request #1 synchronize by tmcgilchrist
April 2, 2024 06:55 19m 41s macos-ci-updates
macos-ci-updates
April 2, 2024 06:55 19m 41s
Update build.yml Build #26: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 06:14 20m 3s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 06:14 20m 3s
Update build.yml Build #25: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 06:11 3m 42s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 06:11 3m 42s
Update build.yml Build #24: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:59 12m 35s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:59 12m 35s
Update build.yml Build #23: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:58 1m 13s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:58 1m 13s
Update build.yml Build #22: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:57 1m 37s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:57 1m 37s
Update build.yml Build #21: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:51 6m 45s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:51 6m 45s
Update build.yml Build #20: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:37 13m 29s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:37 13m 29s
Perform CI builds on macOS 14, both ARM64 and x86_64. Build #19: Pull request #1 synchronize by tmcgilchrist
April 2, 2024 05:32 19m 28s macos-ci-updates
macos-ci-updates
April 2, 2024 05:32 19m 28s
Update build.yml Build #18: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:28 9m 30s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:28 9m 30s
Update build.yml Build #17: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:20 6m 30s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:20 6m 30s
Update build.yml Build #16: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:17 1s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:17 1s
Update build.yml Build #15: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:14 1s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:14 1s
Update build.yml Build #14: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:07 1s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:07 1s
Update build.yml Build #13: Pull request #2 synchronize by tmcgilchrist
April 2, 2024 05:04 16m 47s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:04 16m 47s
Update build.yml Build #12: Pull request #2 opened by tmcgilchrist
April 2, 2024 05:00 3m 45s tmcgilchrist-patch-1
tmcgilchrist-patch-1
April 2, 2024 05:00 3m 45s