Skip to content

Actions: ocaml/merlin

Actions

Nix

Actions

Loading...

Show workflow options

Create status badge

nix.yml
376 workflow runs
376 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Prepare release of merlin 5.1-502 Nix #432: Pull request #1784 synchronize by voodoos
June 11, 2024 16:14 8m 26s voodoos:occ-tweaks
voodoos:occ-tweaks
June 11, 2024 16:14 8m 26s
Prepare release of merlin 5.1-502 Nix #431: Pull request #1784 synchronize by voodoos
June 11, 2024 16:03 8m 25s voodoos:occ-tweaks
voodoos:occ-tweaks
June 11, 2024 16:03 8m 25s
Prepare release of merlin 5.1-502 Nix #430: Pull request #1784 synchronize by voodoos
June 11, 2024 15:53 8m 20s voodoos:occ-tweaks
voodoos:occ-tweaks
June 11, 2024 15:53 8m 20s
Prepare release of merlin 5.1-502 Nix #429: Pull request #1784 synchronize by voodoos
June 11, 2024 15:39 8m 22s voodoos:occ-tweaks
voodoos:occ-tweaks
June 11, 2024 15:39 8m 22s
Prepare release of merlin 5.1-502 Nix #428: Pull request #1784 opened by voodoos
June 11, 2024 15:39 8m 20s voodoos:occ-tweaks
voodoos:occ-tweaks
June 11, 2024 15:39 8m 20s
Merge pull request #1779 from voodoos/reset-uid-counter Nix #427: Commit dd625e6 pushed by voodoos
June 11, 2024 15:33 8m 15s master
master
June 11, 2024 15:33 8m 15s
bench: add a dummy makefile target Nix #426: Commit 064900d pushed by voodoos
June 11, 2024 15:29 8m 24s master
master
June 11, 2024 15:29 8m 24s
Reset the uid counter when restoring the typer's state Nix #425: Pull request #1779 synchronize by voodoos
June 11, 2024 15:23 8m 24s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 15:23 8m 24s
Use a dummy dockerfile to deactivate the benchmarks Nix #424: Commit f42b910 pushed by voodoos
June 11, 2024 15:18 8m 24s master
master
June 11, 2024 15:18 8m 24s
Revert restoration of the dockerfile Nix #423: Commit 1f3f8eb pushed by voodoos
June 11, 2024 15:07 8m 27s master
master
June 11, 2024 15:07 8m 27s
Reset the uid counter when restoring the typer's state Nix #422: Pull request #1779 synchronize by voodoos
June 11, 2024 15:00 8m 22s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 15:00 8m 22s
Disable benchmarks until merl-an is rea-dy. Nix #421: Commit 5426a23 pushed by voodoos
June 11, 2024 13:14 8m 25s master
master
June 11, 2024 13:14 8m 25s
Reset the uid counter when restoring the typer's state Nix #420: Pull request #1779 synchronize by voodoos
June 11, 2024 13:09 8m 2s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 13:09 8m 2s
Disable benchmark until merl-an compatibility is restored Nix #419: Commit f12b7d8 pushed by voodoos
June 11, 2024 12:35 8m 24s master
master
June 11, 2024 12:35 8m 24s
Reset the uid counter when restoring the typer's state Nix #418: Pull request #1779 synchronize by voodoos
June 11, 2024 12:16 7m 51s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 12:16 7m 51s
Reset the uid counter when restoring the typer's state Nix #417: Pull request #1779 synchronize by voodoos
June 11, 2024 12:01 7m 54s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 12:01 7m 54s
Reset the uid counter when restoring the typer's state Nix #416: Pull request #1779 synchronize by voodoos
June 11, 2024 11:46 8m 0s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 11:46 8m 0s
Reset the uid counter when restoring the typer's state Nix #415: Pull request #1779 synchronize by voodoos
June 11, 2024 11:38 7m 48s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 11:38 7m 48s
Reset the uid counter when restoring the typer's state Nix #414: Pull request #1779 synchronize by voodoos
June 11, 2024 10:45 7m 55s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 10:45 7m 55s
Reset the uid counter when restoring the typer's state Nix #413: Pull request #1779 synchronize by voodoos
June 11, 2024 10:31 7m 58s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 10:31 7m 58s
Reset the uid counter when restoring the typer's state Nix #412: Pull request #1779 synchronize by voodoos
June 11, 2024 09:29 7m 49s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 09:29 7m 49s
format: add optional root_directory Nix #411: Commit 5658dd8 pushed by voodoos
June 11, 2024 09:29 8m 21s master
master
June 11, 2024 09:29 8m 21s
Reset the uid counter when restoring the typer's state Nix #410: Pull request #1779 synchronize by voodoos
June 11, 2024 09:26 7m 56s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 11, 2024 09:26 7m 56s
Reset the uid counter when restoring the typer's state Nix #409: Pull request #1779 synchronize by voodoos
June 10, 2024 15:10 7m 56s voodoos:reset-uid-counter
voodoos:reset-uid-counter
June 10, 2024 15:10 7m 56s
Merge pull request #1781 from voodoos/occ-clash-ml-mli Nix #408: Commit 33bbcdb pushed by voodoos
June 10, 2024 14:53 8m 22s master
master
June 10, 2024 14:53 8m 22s