Update GitHub Actions #25
workflow.yml
on: pull_request
lint-doc
1m 15s
lint-opam
57s
Matrix: build
Annotations
12 errors and 1 warning
build (ubuntu-latest, 4.08)
The run was canceled by @smorimoto.
|
build (ubuntu-latest, 4.08)
The operation was canceled.
|
lint-opam
The run was canceled by @smorimoto.
|
lint-opam
The operation was canceled.
|
lint-doc
The run was canceled by @smorimoto.
|
lint-doc
The operation was canceled.
|
build (windows-latest, 4.14)
The run was canceled by @smorimoto.
|
build (windows-latest, 4.14)
The operation was canceled.
|
build (ubuntu-latest, 4.14)
The run was canceled by @smorimoto.
|
build (ubuntu-latest, 4.14)
The operation was canceled.
|
build (macos-latest, 4.14)
The run was canceled by @smorimoto.
|
build (macos-latest, 4.14)
The operation was canceled.
|
build (windows-latest, 4.14)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-1-3.5.3-2024-18, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/31/merge, Key: v1-setup-ocaml-cygwin-1-3.5.3-2024-18, Version: 3be309c781b05f6444f8b4603144041305b04403d1cc650fc9d53fb63a5f8a87
|