Rewrite Bounded_q bench using Sem
#4713
Triggered via pull request
February 13, 2025 09:40
polytypic
Status
Success
Total duration
23m 24s
Artifacts
–
workflow.yml
on: pull_request
Matrix: build-on-lower-bound
Matrix: test-on-windows
Annotations
6 warnings
|
build-on-lower-bound (ubuntu-latest, 4.12.x)
Cache not found for keys: v3-setup-ocaml-opam-78f0028a9f810326ed22ce116f07e219c6ee01d2c665018c8f4c9ba546d1e8fd, v3-setup-ocaml-opam-78f0028a9f810326ed22ce116f07e219c6ee01d2c665018c8f4c9ba546d1e8fd
|
|
test-on-windows (ocaml.5.3.0,ocaml-option-mingw)
Cache not found for keys: v3-setup-ocaml-cygwin-https%3a%2f%2fmirrors.kernel.org%2fsourceware%2fcygwin%2f-3.5.7, v3-setup-ocaml-cygwin-https%3a%2f%2fmirrors.kernel.org%2fsourceware%2fcygwin%2f-3.5.7
|
|
test-on-windows (ocaml.5.3.0,ocaml-option-mingw)
Cache not found for keys: v3-setup-ocaml-opam-92ef17c4a457bd20f52a71153523839b0f21b9d0d7d9e4a84c163e96b455d174, v3-setup-ocaml-opam-92ef17c4a457bd20f52a71153523839b0f21b9d0d7d9e4a84c163e96b455d174
|
|
test-on-windows (ocaml.5.3.0,ocaml-option-mingw)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
test-on-windows (ocaml.5.2.1,ocaml-option-mingw)
Cache not found for keys: v3-setup-ocaml-cygwin-https%3a%2f%2fmirrors.kernel.org%2fsourceware%2fcygwin%2f-3.5.7, v3-setup-ocaml-cygwin-https%3a%2f%2fmirrors.kernel.org%2fsourceware%2fcygwin%2f-3.5.7
|
|
test-on-windows (ocaml.5.2.1,ocaml-option-mingw)
Cache not found for keys: v3-setup-ocaml-opam-2e60b589299e068225b4abd199720f52945ae031b6871869c246418cb1e1acca, v3-setup-ocaml-opam-2e60b589299e068225b4abd199720f52945ae031b6871869c246418cb1e1acca
|