CI

doc: crosslink {realize,resolve}GlobalName[NoOverload]?[WithInfo]?, (… #15675

Sign in to view logs

Triggered via push April 16, 2024 13:04

github-merge-queue[bot]

master

Status Cancelled

Total duration 12m 31s

Artifacts 3

ci.yml

on: push

Matrix: build

Build matrix complete

release-nightly

Annotations

21 errors and 3 warnings

Web Assembly

Canceling since a higher priority waiting request for 'CI-refs/heads/master-push' exists

Web Assembly

ENOENT: no such file or directory, open 'build/stage1/test-results.xml'

Web Assembly

The operation was canceled.

Linux Debug

Canceling since a higher priority waiting request for 'CI-refs/heads/master-push' exists

Linux Debug

The operation was canceled.

Linux Debug

ENOENT: no such file or directory, open 'build/stage1/test-results.xml'

Canceling since a higher priority waiting request for 'CI-refs/heads/master-push' exists

ENOENT: no such file or directory, open 'build/stage1/test-results.xml'

The operation was canceled.

Linux release

Canceling since a higher priority waiting request for 'CI-refs/heads/master-push' exists

Linux release

ENOENT: no such file or directory, open 'build/stage1/test-results.xml'

Linux release

The operation was canceled.

Canceling since a higher priority waiting request for 'CI-refs/heads/master-push' exists

ENOENT: no such file or directory, open 'build/stage1/test-results.xml'

The operation was canceled.

Canceling since a higher priority waiting request for 'CI-refs/heads/master-push' exists

The operation was canceled.

ENOENT: no such file or directory, open 'build/stage1/test-results.xml'

Canceling since a higher priority waiting request for 'CI-refs/heads/master-push' exists

The operation was canceled.

ENOENT: no such file or directory, open 'D:\a\lean4\lean4\build\stage1\test-results.xml'

Linux aarch64

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Linux 32bit

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

macOS aarch64

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime

Name	Size
build-Linux 32bit Expired	197 MB
build-Linux aarch64 Expired	227 MB
build-macOS aarch64 Expired	217 MB