Skip to content

Actions: tmcgilchrist/ocaml

Hygiene

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Put G on FUNCTION and END_FUNCTION
Hygiene #220: Pull request #21 labeled by tmcgilchrist
November 26, 2024 23:17 52s small-amd64-refactoring
November 26, 2024 23:17 52s
Put G on FUNCTION and END_FUNCTION
Hygiene #219: Pull request #21 synchronize by tmcgilchrist
November 26, 2024 23:12 54s small-amd64-refactoring
November 26, 2024 23:12 54s
Put G on FUNCTION and END_FUNCTION
Hygiene #218: Pull request #21 opened by tmcgilchrist
November 26, 2024 23:07 55s small-amd64-refactoring
November 26, 2024 23:07 55s
Merge pull request #13591 from MisterDA/headers-cpp-extern-c-compat
Hygiene #217: Commit b0b5f92 pushed by tmcgilchrist
November 26, 2024 23:07 3m 2s trunk
November 26, 2024 23:07 3m 2s
Debug perf manual
Hygiene #216: Pull request #18 synchronize by tmcgilchrist
November 26, 2024 06:44 58s debug_perf_manual
November 26, 2024 06:44 58s
Debug perf manual
Hygiene #215: Pull request #18 synchronize by tmcgilchrist
November 26, 2024 04:58 1m 19s debug_perf_manual
November 26, 2024 04:58 1m 19s
Debug perf manual
Hygiene #214: Pull request #18 synchronize by tmcgilchrist
November 25, 2024 23:56 55s debug_perf_manual
November 25, 2024 23:56 55s
Debug perf manual
Hygiene #213: Pull request #18 synchronize by christinerose
November 19, 2024 23:02 59s debug_perf_manual
November 19, 2024 23:02 59s
Debug perf manual
Hygiene #212: Pull request #18 synchronize by christinerose
November 19, 2024 22:48 55s debug_perf_manual
November 19, 2024 22:48 55s
Debug perf manual
Hygiene #211: Pull request #18 synchronize by christinerose
November 19, 2024 22:46 53s debug_perf_manual
November 19, 2024 22:46 53s
Debug perf manual
Hygiene #210: Pull request #18 synchronize by christinerose
November 19, 2024 17:16 55s debug_perf_manual
November 19, 2024 17:16 55s
Debug perf manual
Hygiene #209: Pull request #18 synchronize by christinerose
November 19, 2024 17:07 1m 8s debug_perf_manual
November 19, 2024 17:07 1m 8s
Debug perf manual
Hygiene #208: Pull request #18 synchronize by tmcgilchrist
November 19, 2024 01:52 58s debug_perf_manual
November 19, 2024 01:52 58s
Debug perf manual
Hygiene #207: Pull request #18 synchronize by tmcgilchrist
November 15, 2024 06:46 1m 6s debug_perf_manual
November 15, 2024 06:46 1m 6s
Debug perf manual
Hygiene #206: Pull request #18 synchronize by christinerose
November 12, 2024 16:14 1m 5s debug_perf_manual
November 12, 2024 16:14 1m 5s
Debug perf manual
Hygiene #205: Pull request #18 synchronize by christinerose
November 12, 2024 16:10 57s debug_perf_manual
November 12, 2024 16:10 57s
instr_size fixes for arm64 #11162 rebased
Hygiene #204: Pull request #20 synchronize by tmcgilchrist
November 12, 2024 07:49 57s 11162-rebased
November 12, 2024 07:49 57s
instr_size fixes for arm64 #11162 rebased
Hygiene #203: Pull request #20 synchronize by tmcgilchrist
November 12, 2024 07:15 55s 11162-rebased
November 12, 2024 07:15 55s
instr_size fixes for arm64 #11162 rebased
Hygiene #202: Pull request #20 labeled by tmcgilchrist
November 12, 2024 06:49 57s 11162-rebased
November 12, 2024 06:49 57s
instr_size fixes for arm64 #11162 rebased
Hygiene #201: Pull request #20 opened by tmcgilchrist
November 12, 2024 06:49 19s 11162-rebased
November 12, 2024 06:49 19s
Merge pull request #13504 from toots/thread-name
Hygiene #200: Commit ad2aecf pushed by tmcgilchrist
November 12, 2024 06:48 2m 57s trunk
November 12, 2024 06:48 2m 57s
Debug perf manual
Hygiene #199: Pull request #18 synchronize by christinerose
November 12, 2024 00:56 1m 13s debug_perf_manual
November 12, 2024 00:56 1m 13s
Debug perf manual
Hygiene #198: Pull request #18 synchronize by christinerose
November 8, 2024 18:35 1m 7s debug_perf_manual
November 8, 2024 18:35 1m 7s
Debug perf manual
Hygiene #197: Pull request #18 synchronize by christinerose
November 8, 2024 18:33 1m 11s debug_perf_manual
November 8, 2024 18:33 1m 11s
Debug perf manual
Hygiene #196: Pull request #18 synchronize by christinerose
November 8, 2024 18:29 57s debug_perf_manual
November 8, 2024 18:29 57s