Adjust makefile for support -flto in nix shell #2724
potsrevennilci.yml
on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
23s
Matrix: compiler_tests
Matrix: Linting
Matrix: build_kat
Matrix: ec2_functests
Waiting for pending jobs
cbmc_k2
/
stop-ec2-runner
cbmc_k3
/
stop-ec2-runner
cbmc_k4
/
stop-ec2-runner
Annotations
6 errors
|
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/423/merge' exists
|
|
Linting (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-refs/pull/423/merge' exists
|
|
Compiler tests (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/423/merge' exists
|
|
Quickcheck (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/423/merge' exists
|
|
Quickcheck (x86_64)
The operation was canceled.
|
|
Compiler tests (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/423/merge' exists
|