Skip to content

[hover] [wip] First prototype of show documentation on hover #1833

[hover] [wip] First prototype of show documentation on hover

[hover] [wip] First prototype of show documentation on hover #1833

Triggered via pull request October 26, 2023 00:16
Status Cancelled
Total duration 8m 15s
Artifacts

build.yml

on: pull_request
client-compile
21s
client-compile
Nix Flake Check
1m 11s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

14 errors
build (macos-latest, 4.14.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:doc_hover_plugin' exists
build (macos-latest, 4.14.x)
The operation was canceled.
build (Windows Latest, 4.14, windows-latest)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:doc_hover_plugin' exists
build (Windows Latest, 4.14, windows-latest)
The operation was canceled.
build (ubuntu-latest, 4.14.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:doc_hover_plugin' exists
build (ubuntu-latest, 4.14.x)
The operation was canceled.
build (ubuntu-latest, 4.11.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:doc_hover_plugin' exists
build (ubuntu-latest, 4.11.x)
The operation was canceled.
build (ubuntu-latest, 4.13.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:doc_hover_plugin' exists
build (ubuntu-latest, 4.13.x)
The operation was canceled.
build (ubuntu-latest, 5.0.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:doc_hover_plugin' exists
build (ubuntu-latest, 5.0.x)
The operation was canceled.
build (ubuntu-latest, 4.12.x)
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:doc_hover_plugin' exists
build (ubuntu-latest, 4.12.x)
The operation was canceled.