Modify C++ code in llvm backend to use multi-ary \and and \or · runtimeverification/llvm-backend@6986455

Triggered via pull request October 4, 2023 16:42

dwightguth

synchronize #844

and_or3

Status Cancelled

Total duration 7m 38s

Artifacts –

test-flake.yml

on: pull_request

Matrix: Nix flake

5 errors

Process completed with exit code 100.

Process completed with exit code 1.

Canceling since a higher priority waiting request for 'Test Nix Flake-refs/pull/844/merge' exists

Action failed with error: Error: The process '/Users/runner/work/_actions/cachix/cachix-action/v12/dist/main/push-paths.sh' failed with exit code 1

The operation was canceled.