feat: if support and more in bv_decide · leanprover/lean4@bcb5a6a

Triggered via pull request October 26, 2024 22:41

hargoniX

synchronize #5855

hbv/bv_decide_if

Status Cancelled

Total duration 1m 45s

Billable time 1m

Artifacts –

ci.yml

on: pull_request

Matrix: build

4 errors and 3 warnings

Canceling since a higher priority waiting request for 'CI-refs/pull/5855/merge-pull_request' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'CI-refs/pull/5855/merge-pull_request' exists

The operation was canceled.

zstd 1.5.6 is already installed and up-to-date. To reinstall 1.5.6, run: brew reinstall zstd

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

libuv 1.49.2 is already installed and up-to-date. To reinstall 1.49.2, run: brew reinstall libuv