Skip to content

[Draft] use algebraic number for reals #503

[Draft] use algebraic number for reals

[Draft] use algebraic number for reals #503

Triggered via pull request June 26, 2023 09:50
Status Failure
Total duration 6h 0m 27s
Artifacts

install.yml

on: pull_request
Matrix: install
Fit to window
Zoom out
Zoom in

Annotations

12 errors
install (ocaml-variants.4.12.1+mingw64c, windows-latest)
The job running on runner GitHub Actions 15 has exceeded the maximum execution time of 360 minutes.
install (ocaml-variants.4.12.1+mingw64c, windows-latest)
The operation was canceled.
install (ocaml-variants.4.10.1+mingw64c, windows-latest)
The job running on runner GitHub Actions 13 has exceeded the maximum execution time of 360 minutes.
install (ocaml-variants.4.10.1+mingw64c, windows-latest)
The operation was canceled.
install (ocaml-variants.4.11.2+mingw64c, windows-latest)
The job running on runner GitHub Actions 14 has exceeded the maximum execution time of 360 minutes.
install (ocaml-variants.4.11.2+mingw64c, windows-latest)
The operation was canceled.
install (ocaml-variants.4.14.0+flambda+mingw64c, windows-latest)
The job running on runner GitHub Actions 18 has exceeded the maximum execution time of 360 minutes.
install (ocaml-variants.4.14.0+flambda+mingw64c, windows-latest)
The operation was canceled.
install (ocaml-variants.4.14.0+mingw64c, windows-latest)
The job running on runner GitHub Actions 17 has exceeded the maximum execution time of 360 minutes.
install (ocaml-variants.4.14.0+mingw64c, windows-latest)
The operation was canceled.
install (ocaml-variants.4.13.1+mingw64c, windows-latest)
The job running on runner GitHub Actions 16 has exceeded the maximum execution time of 360 minutes.
install (ocaml-variants.4.13.1+mingw64c, windows-latest)
The operation was canceled.