fix: missing whnf
in mkBelowBinder
and mkMotiveBinder
#11177
ci.yml
on: pull_request
set-nightly
2s
set-release
2s
Matrix: build
release-nightly
0s
Annotations
20 errors and 2 warnings
Windows
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
macOS aarch64
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
macOS aarch64
The operation was canceled.
|
Linux aarch64
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
Linux aarch64
The operation was canceled.
|
macOS
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
macOS
The operation was canceled.
|
Web Assembly
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
Web Assembly
The operation was canceled.
|
Linux LLVM
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
Linux LLVM
The operation was canceled.
|
Linux
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
Linux
The operation was canceled.
|
Linux release
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
Linux release
The operation was canceled.
|
Linux fsanitize
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
Linux fsanitize
The operation was canceled.
|
Linux Debug
Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists
|
Linux Debug
The operation was canceled.
|
Build matrix complete
Some jobs failed
|
macOS aarch64
No files were found with the provided path: ./coredumps
./build/stage0/bin/lean
./build/stage0/lib/lean/libleanshared.so
./build/stage1/bin/lean
./build/stage1/lib/lean/libleanshared.so
./build/stage2/bin/lean
./build/stage2/lib/lean/libleanshared.so. No artifacts will be uploaded.
|
Build matrix complete
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/github-script@v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
build-Linux 32bit
Expired
|
203 MB |
|
coredumps-Linux
Expired
|
65.7 MB |
|
coredumps-Linux 32bit
Expired
|
144 MB |
|
coredumps-Linux Debug
Expired
|
207 MB |
|
coredumps-Linux LLVM
Expired
|
65.7 MB |
|
coredumps-Linux aarch64
Expired
|
128 MB |
|
coredumps-Linux fsanitize
Expired
|
257 MB |
|
coredumps-Linux release
Expired
|
65.7 MB |
|
coredumps-Web Assembly
Expired
|
68.3 MB |
|
coredumps-macOS
Expired
|
48.3 KB |
|