Add univ type annotation #9120
toots
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
Matrix: build_posix
Matrix: run_tests
Matrix: build_win32
Matrix: build_opam
Matrix: build_docker
Matrix: build_docker_alpine
Matrix: build_docker_alpine_minimal
Matrix: build_docker_minimal
update_release
0s
build_docker_release
0s
build_docker_release-minimal
0s
Annotations
28 errors
|
build_posix (ubuntu_jammy, amd64)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_posix (ubuntu_jammy, amd64)
The operation was canceled.
|
|
build_posix (ubuntu_lunar, amd64)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_posix (ubuntu_lunar, amd64)
The operation was canceled.
|
|
build_win32 (x64)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_win32 (x64)
The operation was canceled.
|
|
build_posix (debian_bookworm, amd64)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_posix (debian_bookworm, amd64)
The operation was canceled.
|
|
build_no_depopts
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_no_depopts
The operation was canceled.
|
|
build_js
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_js
The operation was canceled.
|
|
build_posix (alpine, amd64)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_posix (alpine, amd64)
The operation was canceled.
|
|
run_tests (@mediatest)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
run_tests (@mediatest)
The operation was canceled.
|
|
build_posix (debian_trixie, amd64)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_posix (debian_trixie, amd64)
The operation was canceled.
|
|
run_tests (@citest)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
run_tests (@citest)
The operation was canceled.
|
|
pre-commit
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
pre-commit
The operation was canceled.
|
|
tree_sitter_parse
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
tree_sitter_parse
The operation was canceled.
|
|
build_opam (4.14.x)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_opam (4.14.x)
The operation was canceled.
|
|
build_opam (5.0.x)
Canceling since a higher priority waiting request for 'CI-refs/pull/3524/merge' exists
|
|
build_opam (5.0.x)
The operation was canceled.
|