CI

Adjust makefile for support -flto in nix shell #2725

Sign in to view logs

Triggered via pull request November 18, 2024 05:55

synchronize #423

fix-lto

Status Failure

Total duration 2m 24s

Billable time 4m

Artifacts –

ci.yml

on: pull_request

Matrix: quickcheck

Quickcheck windows-latest

Matrix: compiler_tests

Matrix: Linting

cbmc_k2 / start-ec2-runner

cbmc_k3 / start-ec2-runner

cbmc_k4 / start-ec2-runner

Matrix: build_kat

Matrix: ec2_functests

Waiting for pending jobs

cbmc_k2 / tests

cbmc_k3 / tests

cbmc_k4 / tests

cbmc_k2 / stop-ec2-runner

cbmc_k3 / stop-ec2-runner

cbmc_k4 / stop-ec2-runner

Annotations

4 errors

Quickcheck (x86_64)

Process completed with exit code 1.

Compiler tests (x86_64)

Process completed with exit code 1.

Compiler tests (aarch64)

Process completed with exit code 1.

Quickcheck (aarch64)

Process completed with exit code 1.