CI

Add CBMC as dependency to nix #27

Sign in to view logs

Triggered via pull request June 12, 2024 06:28

opened #54

mkannwischer:cbmcnix

Status Failure

Total duration 2m 7s

Billable time 2m

Artifacts –

ci.yml

on: pull_request

Matrix: build_kat

Matrix: cbmc

Matrix: lint

Annotations

4 errors

build_kat (pqcp-arm64)

Process completed with exit code 1.

build_kat (macos-latest)

The job was canceled because "pqcp-arm64" failed.

lint (pqcp-arm64)

Process completed with exit code 1.

cbmc (macos-latest)

Process completed with exit code 1.