Skip to content

Actions: shakthimaan/ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close stale issues Close stale issues #23: Scheduled
December 18, 2023 04:29 12s trunk
trunk
December 18, 2023 04:29 12s
Update Makefile closer to 5.1 Hygiene #3: Commit 56c0c16 pushed by shakthimaan
December 15, 2023 08:50 47s doc/fix-5.0-manual-build-Makefile
doc/fix-5.0-manual-build-Makefile
December 15, 2023 08:50 47s
Update Makefile closer to 5.1 Build #3: Commit 56c0c16 pushed by shakthimaan
December 15, 2023 08:50 22m 16s doc/fix-5.0-manual-build-Makefile
doc/fix-5.0-manual-build-Makefile
December 15, 2023 08:50 22m 16s
Close stale issues Close stale issues #22: Scheduled
December 15, 2023 04:28 14s trunk
trunk
December 15, 2023 04:28 14s
Fix 5.0 Makefile manual build Build #2: Commit e1c5267 pushed by shakthimaan
December 13, 2023 08:35 15m 35s doc/fix-5.0-manual-build-Makefile
doc/fix-5.0-manual-build-Makefile
December 13, 2023 08:35 15m 35s
Fix 5.0 Makefile manual build Hygiene #2: Commit e1c5267 pushed by shakthimaan
December 13, 2023 08:35 1m 14s doc/fix-5.0-manual-build-Makefile
doc/fix-5.0-manual-build-Makefile
December 13, 2023 08:35 1m 14s
Close stale issues Close stale issues #21: Scheduled
December 13, 2023 04:28 14s trunk
trunk
December 13, 2023 04:28 14s
Close stale issues Close stale issues #20: Scheduled
December 11, 2023 04:29 15s trunk
trunk
December 11, 2023 04:29 15s
Close stale issues Close stale issues #19: Scheduled
December 8, 2023 04:28 13s trunk
trunk
December 8, 2023 04:28 13s
Close stale issues Close stale issues #18: Scheduled
December 6, 2023 04:30 13s trunk
trunk
December 6, 2023 04:30 13s
Close stale issues Close stale issues #17: Scheduled
December 4, 2023 04:28 12s trunk
trunk
December 4, 2023 04:28 12s
Merge pull request #12706 from shindere/merge-testsuite-sub-makefiles Hygiene #1: Commit d5b5c34 pushed by shakthimaan
December 1, 2023 07:39 14m 54s trunk
trunk
December 1, 2023 07:39 14m 54s
Merge pull request #12706 from shindere/merge-testsuite-sub-makefiles Build #1: Commit d5b5c34 pushed by shakthimaan
December 1, 2023 07:39 17m 58s trunk
trunk
December 1, 2023 07:39 17m 58s