Skip to content

Actions: ocaml/merlin

Changelog check

Actions

Loading...

Show workflow options

Create status badge

469 workflow runs
469 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Prepare release of merlin 5.1-502
Changelog check #527: Pull request #1784 synchronize by voodoos
June 11, 2024 16:14 19s voodoos:occ-tweaks
June 11, 2024 16:14 19s
Prepare release of merlin 5.1-502
Changelog check #526: Pull request #1784 synchronize by voodoos
June 11, 2024 16:03 15s voodoos:occ-tweaks
June 11, 2024 16:03 15s
Prepare release of merlin 5.1-502
Changelog check #525: Pull request #1784 synchronize by voodoos
June 11, 2024 15:53 16s voodoos:occ-tweaks
June 11, 2024 15:53 16s
Prepare release of merlin 5.1-502
Changelog check #524: Pull request #1784 synchronize by voodoos
June 11, 2024 15:39 13s voodoos:occ-tweaks
June 11, 2024 15:39 13s
Prepare release of merlin 5.1-502
Changelog check #523: Pull request #1784 opened by voodoos
June 11, 2024 15:39 16s voodoos:occ-tweaks
June 11, 2024 15:39 16s
Reset the uid counter when restoring the typer's state
Changelog check #522: Pull request #1779 synchronize by voodoos
June 11, 2024 15:23 19s voodoos:reset-uid-counter
June 11, 2024 15:23 19s
Reset the uid counter when restoring the typer's state
Changelog check #521: Pull request #1779 synchronize by voodoos
June 11, 2024 15:00 19s voodoos:reset-uid-counter
June 11, 2024 15:00 19s
Reset the uid counter when restoring the typer's state
Changelog check #520: Pull request #1779 synchronize by voodoos
June 11, 2024 13:09 17s voodoos:reset-uid-counter
June 11, 2024 13:09 17s
Reset the uid counter when restoring the typer's state
Changelog check #519: Pull request #1779 synchronize by voodoos
June 11, 2024 12:16 17s voodoos:reset-uid-counter
June 11, 2024 12:16 17s
Reset the uid counter when restoring the typer's state
Changelog check #518: Pull request #1779 synchronize by voodoos
June 11, 2024 12:01 14s voodoos:reset-uid-counter
June 11, 2024 12:01 14s
Reset the uid counter when restoring the typer's state
Changelog check #517: Pull request #1779 synchronize by voodoos
June 11, 2024 11:46 16s voodoos:reset-uid-counter
June 11, 2024 11:46 16s
Reset the uid counter when restoring the typer's state
Changelog check #516: Pull request #1779 synchronize by voodoos
June 11, 2024 11:38 17s voodoos:reset-uid-counter
June 11, 2024 11:38 17s
Reset the uid counter when restoring the typer's state
Changelog check #515: Pull request #1779 synchronize by voodoos
June 11, 2024 10:45 15s voodoos:reset-uid-counter
June 11, 2024 10:45 15s
Reset the uid counter when restoring the typer's state
Changelog check #514: Pull request #1779 synchronize by voodoos
June 11, 2024 10:31 14s voodoos:reset-uid-counter
June 11, 2024 10:31 14s
Reset the uid counter when restoring the typer's state
Changelog check #513: Pull request #1779 synchronize by voodoos
June 11, 2024 09:29 13s voodoos:reset-uid-counter
June 11, 2024 09:29 13s
Reset the uid counter when restoring the typer's state
Changelog check #512: Pull request #1779 synchronize by voodoos
June 11, 2024 09:26 14s voodoos:reset-uid-counter
June 11, 2024 09:26 14s
Reset the uid counter when restoring the typer's state
Changelog check #511: Pull request #1779 synchronize by voodoos
June 10, 2024 15:10 15s voodoos:reset-uid-counter
June 10, 2024 15:10 15s
Do not return PWO for defs in the current interface file
Changelog check #510: Pull request #1781 synchronize by voodoos
June 10, 2024 14:53 18s voodoos:occ-clash-ml-mli
June 10, 2024 14:53 18s
Do not return PWO for defs in the current interface file
Changelog check #509: Pull request #1781 synchronize by voodoos
June 10, 2024 13:54 18s voodoos:occ-clash-ml-mli
June 10, 2024 13:54 18s
Reset the uid counter when restoring the typer's state
Changelog check #507: Pull request #1779 synchronize by voodoos
June 10, 2024 13:47 16s voodoos:reset-uid-counter
June 10, 2024 13:47 16s
Reset the uid counter when restoring the typer's state
Changelog check #506: Pull request #1779 synchronize by voodoos
June 10, 2024 12:47 17s voodoos:reset-uid-counter
June 10, 2024 12:47 17s
Reset the uid counter when restoring the typer's state
Changelog check #505: Pull request #1779 synchronize by voodoos
June 10, 2024 12:46 18s voodoos:reset-uid-counter
June 10, 2024 12:46 18s