Skip to content

Actions: ocamllabs/vscode-ocaml-platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,197 workflow runs
5,197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove uses of Handlers in type of selection (#1710) Opam Dependency Submission #415: Commit db53fab pushed by voodoos
January 16, 2025 15:30 4m 32s master
master
January 16, 2025 15:30 4m 32s
Remove uses of Handlers in type of selection (#1710) Nix #2207: Commit db53fab pushed by voodoos
January 16, 2025 15:30 1m 48s master
master
January 16, 2025 15:30 1m 48s
Remove uses of Handlers in type of selection (#1710) Builds, tests & co #3501: Commit db53fab pushed by voodoos
January 16, 2025 15:30 3m 45s master
master
January 16, 2025 15:30 3m 45s
npm_and_yarn in /. - Update #948987549 Dependabot Updates #143: by dependabot bot
January 16, 2025 13:28 56s master
master
January 16, 2025 13:28 56s
github_actions in /. - Update #948986209 Dependabot Updates #142: by dependabot bot
January 16, 2025 13:25 35s master
master
January 16, 2025 13:25 35s
Remove uses of Handlers in type of selection Changelog check #2845: Pull request #1710 labeled by voodoos
January 16, 2025 13:24 13s voodoos:type-of-selection
voodoos:type-of-selection
January 16, 2025 13:24 13s
Remove uses of Handlers in type of selection Nix #2206: Pull request #1710 opened by voodoos
January 16, 2025 13:24 1m 54s voodoos:type-of-selection
voodoos:type-of-selection
January 16, 2025 13:24 1m 54s
Remove uses of Handlers in type of selection Dependency Review #658: Pull request #1710 opened by voodoos
January 16, 2025 13:24 12s voodoos:type-of-selection
voodoos:type-of-selection
January 16, 2025 13:24 12s
Remove uses of Handlers in type of selection Builds, tests & co #3500: Pull request #1710 opened by voodoos
January 16, 2025 13:24 3m 53s voodoos:type-of-selection
voodoos:type-of-selection
January 16, 2025 13:24 3m 53s
Remove uses of Handlers in type of selection Changelog check #2844: Pull request #1710 opened by voodoos
January 16, 2025 13:24 17s voodoos:type-of-selection
voodoos:type-of-selection
January 16, 2025 13:24 17s
Improve quick peek with highlighting in both the jump and holes commands Builds, tests & co #3499: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:43 3m 40s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:43 3m 40s
Improve quick peek with highlighting in both the jump and holes commands Changelog check #2843: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:43 15s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:43 15s
Improve quick peek with highlighting in both the jump and holes commands Dependency Review #657: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:43 15s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:43 15s
Improve quick peek with highlighting in both the jump and holes commands Nix #2205: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:43 1m 40s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:43 1m 40s
Improve quick peek with highlighting in both the jump and holes commands Changelog check #2842: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:40 15s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:40 15s
Improve quick peek with highlighting in both the jump and holes commands Builds, tests & co #3498: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:40 4m 48s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:40 4m 48s
Improve quick peek with highlighting in both the jump and holes commands Nix #2204: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:40 1m 46s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:40 1m 46s
Improve quick peek with highlighting in both the jump and holes commands Dependency Review #656: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:40 13s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:40 13s
Improve quick peek with highlighting in both the jump and holes commands Changelog check #2841: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:21 14s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:21 14s
Improve quick peek with highlighting in both the jump and holes commands Nix #2203: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:21 1m 47s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:21 1m 47s
Improve quick peek with highlighting in both the jump and holes commands Builds, tests & co #3497: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:21 3m 42s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:21 3m 42s
Improve quick peek with highlighting in both the jump and holes commands Dependency Review #655: Pull request #1705 synchronize by PizieDust
January 16, 2025 10:21 14s PizieDust:jump_changes
PizieDust:jump_changes
January 16, 2025 10:21 14s
github_actions in /. - Update #948814669 Dependabot Updates #141: by dependabot bot
January 16, 2025 06:26 33s master
master
January 16, 2025 06:26 33s
npm_and_yarn in /. - Update #948814630 Dependabot Updates #140: by dependabot bot
January 16, 2025 06:26 55s master
master
January 16, 2025 06:26 55s
New command: Type of dynamic selection (#1675) Nix #2202: Commit 694fc38 pushed by smorimoto
January 16, 2025 04:20 1m 35s master
master
January 16, 2025 04:20 1m 35s