Code Actions #2951
ejgallegobuild.yml
on: pull_request
Web Worker Build
10m 25s
Opam dev install
8m 33s
client-compile
17s
Nix Flake Check
48s
Matrix: Nix
Matrix: build
Annotations
2 errors
|
build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...
Canceling since a higher priority waiting request for 'Github CI @ ejgallego:codeAction' exists
|
|
build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
coq-lsp_worker and front-end
|
36.6 MB |
|