Skip to content

Update ReScript to v11.1 #2616

Update ReScript to v11.1

Update ReScript to v11.1 #2616

Triggered via pull request April 23, 2024 18:06
Status Cancelled
Total duration 1m 47s
Artifacts

ci.yml

on: pull_request
Matrix: test
package
0s
package
Fit to window
Zoom out
Zoom in

Annotations

8 errors, 2 warnings, and 1 notice
test (windows-latest)
Canceling since a higher priority waiting request for 'refs/pull/970/merge' exists
test (windows-latest)
The operation was canceled.
test (macos-13)
Canceling since a higher priority waiting request for 'refs/pull/970/merge' exists
test (macos-13)
The operation was canceled.
test (ubuntu-20.04)
Canceling since a higher priority waiting request for 'refs/pull/970/merge' exists
test (ubuntu-20.04)
The operation was canceled.
test (macos-14)
Canceling since a higher priority waiting request for 'refs/pull/970/merge' exists
test (macos-14)
The operation was canceled.
test (windows-latest)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-1-3.5.3-2024-17, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/970/merge, Key: v1-setup-ocaml-cygwin-1-3.5.3-2024-17, Version: 981c82579b5888797aff1e33e0df26ff4d3933ec11209e093512ee0b3981da16
test (macos-14)
darcs has been deprecated because it depends on GHC 8.10 to build!
test (ubuntu-20.04)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100