Skip to content

Actions: ocamllabs/vscode-ocaml-platform

Actions

Nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
1,116 workflow runs
1,116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare 1.27.0 Nix #2214: Pull request #1712 opened by smorimoto
January 19, 2025 00:54 1m 47s prepare-1.27.0
prepare-1.27.0
January 19, 2025 00:54 1m 47s
Prepare 1.27.0 Nix #2213: Commit 77b83f3 pushed by smorimoto
January 19, 2025 00:54 1m 34s prepare-1.27.0
prepare-1.27.0
January 19, 2025 00:54 1m 34s
flake.lock: Update (#1711) Nix #2212: Commit 0bd18cd pushed by smorimoto
January 19, 2025 00:49 1m 38s master
master
January 19, 2025 00:49 1m 38s
Improve quick peek with highlighting in both the jump and holes comma… Nix #2211: Commit bfa5e0e pushed by voodoos
January 17, 2025 11:55 1m 38s master
master
January 17, 2025 11:55 1m 38s
Improve quick peek with highlighting in both the jump and holes commands Nix #2210: Pull request #1705 synchronize by voodoos
January 17, 2025 11:28 1m 43s PizieDust:jump_changes
PizieDust:jump_changes
January 17, 2025 11:28 1m 43s
Improve quick peek with highlighting in both the jump and holes commands Nix #2209: Pull request #1705 synchronize by voodoos
January 17, 2025 11:11 1m 39s PizieDust:jump_changes
PizieDust:jump_changes
January 17, 2025 11:11 1m 39s
Improve quick peek with highlighting in both the jump and holes commands Nix #2208: Pull request #1705 synchronize by PizieDust
January 17, 2025 10:29 1m 57s PizieDust:jump_changes
PizieDust:jump_changes
January 17, 2025 10:29 1m 57s
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 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
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 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 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
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
Bump @types/node from 22.10.6 to 22.10.7 (#1709) Nix #2201: Commit 5bb5dcc pushed by smorimoto
January 16, 2025 02:03 1m 38s master
master
January 16, 2025 02:03 1m 38s
Bump @types/node from 22.10.6 to 22.10.7 Nix #2200: Pull request #1709 opened by dependabot bot
January 16, 2025 01:46 1m 46s dependabot/npm_and_yarn/types/node-22.10.7
dependabot/npm_and_yarn/types/node-22.10.7
January 16, 2025 01:46 1m 46s
Bump @types/node from 22.10.6 to 22.10.7 Nix #2199: Commit b16bd11 pushed by dependabot bot
January 16, 2025 01:46 1m 35s dependabot/npm_and_yarn/types/node-22.10.7
dependabot/npm_and_yarn/types/node-22.10.7
January 16, 2025 01:46 1m 35s
Improve quick peek with highlighting in both the jump and holes commands Nix #2198: Pull request #1705 synchronize by PizieDust
January 15, 2025 16:56 1m 46s PizieDust:jump_changes
PizieDust:jump_changes
January 15, 2025 16:56 1m 46s
Improve quick peek with highlighting in both the jump and holes commands Nix #2197: Pull request #1705 synchronize by PizieDust
January 14, 2025 21:23 1m 50s PizieDust:jump_changes
PizieDust:jump_changes
January 14, 2025 21:23 1m 50s
Improve quick peek with highlighting in both the jump and holes commands Nix #2196: Pull request #1705 synchronize by PizieDust
January 14, 2025 20:41 1m 40s PizieDust:jump_changes
PizieDust:jump_changes
January 14, 2025 20:41 1m 40s
Improve quick peek with highlighting in both the jump and holes commands Nix #2195: Pull request #1705 synchronize by PizieDust
January 14, 2025 20:34 1m 49s PizieDust:jump_changes
PizieDust:jump_changes
January 14, 2025 20:34 1m 49s
Add reason language to ast_editor Nix #2194: Pull request #1685 synchronize by smorimoto
January 14, 2025 16:42 1m 44s pedrobslisboa:feat/add-reason-to-ast-n-pp
pedrobslisboa:feat/add-reason-to-ast-n-pp
January 14, 2025 16:42 1m 44s
New command: Type of dynamic selection Nix #2193: Pull request #1675 synchronize by voodoos
January 14, 2025 15:26 1m 45s voodoos:type-of-selection
voodoos:type-of-selection
January 14, 2025 15:26 1m 45s
Bump @types/node from 22.10.5 to 22.10.6 (#1708) Nix #2192: Commit 898c72b pushed by smorimoto
January 14, 2025 14:35 1m 36s master
master
January 14, 2025 14:35 1m 36s
New command: Type of dynamic selection Nix #2191: Pull request #1675 synchronize by voodoos
January 14, 2025 13:58 1m 48s voodoos:type-of-selection
voodoos:type-of-selection
January 14, 2025 13:58 1m 48s
New command: Type of dynamic selection Nix #2190: Pull request #1675 synchronize by voodoos
January 14, 2025 13:53 1m 43s voodoos:type-of-selection
voodoos:type-of-selection
January 14, 2025 13:53 1m 43s