Skip to content
CI

Eagerly rewrite bodies of define-fun #30635

Sign in to view logs

Eagerly rewrite bodies of define-fun

Eagerly rewrite bodies of define-fun #30635

Triggered via push January 15, 2025 03:52
@ajreynolajreynol
pushed 2665e3d
pfTrustId
Status Cancelled
Total duration 8m 38s
Artifacts –

ci.yml

on: push
Matrix: builds
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 1 warning
win64:production-cross
Canceling since a higher priority waiting request for 'build-refs/heads/pfTrustId-win64:production-cross-true' exists
ubuntu:production-dbg-clang
Canceling since a higher priority waiting request for 'build-refs/heads/pfTrustId-ubuntu:production-dbg-clang-true' exists
ubuntu:production
Canceling since a higher priority waiting request for 'build-refs/heads/pfTrustId-ubuntu:production-true' exists
ubuntu:production-dbg
Canceling since a higher priority waiting request for 'build-refs/heads/pfTrustId-ubuntu:production-dbg-true' exists
macos:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/heads/pfTrustId-macos:production-arm64-cross-true' exists
macos:production
Canceling since a higher priority waiting request for 'build-refs/heads/pfTrustId-macos:production-true' exists
win64:production
Canceling since a higher priority waiting request for 'build-refs/heads/pfTrustId-win64:production-true' exists
ubuntu:production-arm64-cross
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636