Skip to content

Wasm of ocaml support #27444

Wasm of ocaml support

Wasm of ocaml support #27444

Triggered via pull request July 4, 2024 13:47
Status Cancelled
Total duration 4m 22s
Artifacts

workflow.yml

on: pull_request
Format
2m 32s
Format
Documentation
37s
Documentation
Coq 8.16.1
4m 12s
Coq 8.16.1
Build monorepo benchmark docker image
4m 6s
Build monorepo benchmark docker image
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: dkml-current
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

29 errors and 4 warnings
Documentation
Process completed with exit code 2.
Build (4.04.x, ubuntu-latest, true, true)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Build (4.04.x, ubuntu-latest, true, true)
The operation was canceled.
Build (windows-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Build (windows-latest, 4.14.x)
The operation was canceled.
Build monorepo benchmark docker image
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Build monorepo benchmark docker image
The operation was canceled.
MSVC 4.14.0 / windows_x86_64
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
MSVC 4.14.0 / windows_x86
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Create local opam switch (ubuntu-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Create local opam switch (ubuntu-latest, 4.14)
The operation was canceled.
Build (4.02.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Build (4.02.x, ubuntu-latest, true)
The operation was canceled.
Coq 8.16.1
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Coq 8.16.1
The operation was canceled.
Build (ubuntu-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Build (ubuntu-latest, 4.14.x)
The operation was canceled.
Create local opam switch (ubuntu-latest, 5)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Create local opam switch (ubuntu-latest, 5)
The operation was canceled.
Coverage (4.14.x)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Coverage (4.14.x)
The operation was canceled.
Build (4.14.x, macos-13, true)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Build (4.14.x, macos-13, true)
The operation was canceled.
Create local opam switch (macos-latest, 5)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Create local opam switch (macos-latest, 5)
The operation was canceled.
Build (macos-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Build (macos-latest, 4.14.x)
The operation was canceled.
Create local opam switch (macos-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ ocaml-wasm:wasm_of_ocaml' exists
Create local opam switch (macos-latest, 4.14)
The operation was canceled.
Build (5.1.x, macos-latest, true)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
Coq 8.16.1
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
Coverage (4.14.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
Build (macos-latest, 4.14.x)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config