Skip to content
CI

refactoring and fixing trichotomy translation #1739

Sign in to view logs

refactoring and fixing trichotomy translation

refactoring and fixing trichotomy translation #1739

Triggered via push March 2, 2024 04:27
@HanielBHanielB
pushed b67168f
aletheError
Status Cancelled
Total duration 6m 21s
Artifacts –

ci.yml

on: push
update-pr
0s
update-pr
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

7 errors
ubuntu:production
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-ubuntu:production-true' exists
win64:production
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-win64:production-true' exists
macos:production
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-true' exists
ubuntu:production-dbg
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-ubuntu:production-dbg-true' exists
ubuntu:production-dbg-clang
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-ubuntu:production-dbg-clang-true' exists
macos:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-arm64-cross-true' exists
macos:production-arm64
Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-arm64-true' exists